• Suche: "Logic Programming and Knowledge Representation"

Treffer 41 - 60 von 137

41

A Multi-Agent Formalism Based on Contextual Defeasible Logic for Healthcare Systems
Salwa Muhammad Akhtar ; Makia Nazir ; Kiran Saleem ; et al.
Front Public Health
Frontiers in Public Health, Vol 10 (2022)

Artificial intelligence Sociology and Political... Ubiquitous computing Logic Knowledge management NetLogo …
Fachzeitschrift
Zu den Favoriten
42

A Resolution-Based Theorem Prover for $${\textsf {K}}_{n}^{}$$Kn: Architecture, Refinements, Strategies and Experiments
Cláudia Nalon ; Ullrich Hustadt ; Clare Dixon
Nalon, C, Hustadt, U & Dixon, C 2020, 'A Resolution-Based Theorem Prover for $${\textsf {K}}_{n}^{}$$Kn: Architecture, Refinements, Strategies and Experiments', Journal of Automated Reasoning. https://doi.org/10.1007/s10817-018-09503-x

Mathematical proof Geometry 0102 computer and inform... 02 engineering and techn... 01 natural sciences Logic Programming and Kn... …
Fachzeitschrift
Zu den Favoriten
43

Axiomatizing Hybrid XPath with Data
Carlos Areces ; Raul Fervari
Logical Methods in Computer Science, Vol Volume 17, Issue 3 (2021)
CONICET Digital (CONICET)
Consejo Nacional de Investigaciones Científicas y Técnicas

FOS: Computer and inform... Computer Science - Logic... Equivalence (formal lang... Artificial intelligence Class (philosophy) 03b70 …
Fachzeitschrift
Zu den Favoriten
44

A New Model based on Subjective Logic and Neutrosophic Measure for Legal Reasoning
Eduardo Luciano Hernández Ramos ; Francisco Alejo Guanoluisa Almache ; Alba Rosa Pupo Kairuz ; et al.
Neutrosophic Sets and Systems, Vol 44, Pp 456-462 (2021)

Economics and Econometri... Eminent Domain and Prope... Artificial intelligence legal reasoning FOS: Political science Mathematical proof …
Zu den Favoriten
45

The pyglaf argumentation reasoner (ICCMA2021)
Mario Alviano

FOS: Computer and inform... Artificial intelligence Computer Science - Artif... 68T30 Argumentation theory 02 engineering and techn... …
Zu den Favoriten
46

Frame definability in finitely valued modal logics
Guillermo Badía ; Xavier Caicedo ; Carles Noguera ; et al.
Annals of Pure and Applied Logic

Frame definability Monoidal t-norm logic Artificial intelligence Class (philosophy) Automata Theory and Form... 0102 computer and inform... …
Fachzeitschrift
Zu den Favoriten
47

Meta-Information and Argumentation in Multi-Agent Systems
Victor S. Melo ; Alison R. Panisson ; Rafael H. Bordini
iSys - Brazilian Journal of Information Systems. 10:74-97

Artificial intelligence Flexibility (engineering... Knowledge management Argumentation theory Epistemology 0102 computer and inform... …
Fachzeitschrift
Zu den Favoriten
48

Hintikka's Socratic Epistemology Meets Gettier's Counterexamples
John Ian K. Boongaling
KRITERION – Journal of Philosophy. 31:25-56

Counterexample Socratic method Social Sciences Epistemology Knowledge Representation 7. Clean energy …
Fachzeitschrift
Zu den Favoriten
49

Reasoning, logic, and category mistakes
José Martín Castro-Manzano
Aufklärung, Vol 4, Iss 1 (2017)
Universidad Nacional Autónoma de México
UNAM
Redalyc-UNAM
Aufklärung. Revista de Filosofia (Brasil) Num.1 Vol.4

Cognitive science B1-5802 Epistemology Description Logics Lengua y Literatura Epistemic Logic …
Fachzeitschrift
Zu den Favoriten
50

Implications and Limits of Sequences
Alexandre Costa-Leite ; Edélcio G. de Souza
Studia Humana, Vol 6, Iss 1, Pp 18-24 (2017)

conjunctive limit disjunctive limit B1-5802 Epistemology Type Inference Mathematical analysis …
Fachzeitschrift
Zu den Favoriten
51

Argumentos Máximamente Específicos en Argumentación Rebatible
Alessio, Cláudio Andrés
Manuscrito, Vol 39, Iss 2, Pp 5-58
CONICET Digital (CONICET)
Consejo Nacional de Investigaciones Científicas y Técnicas
Manuscrito, Volume: 39, Issue: 2, Pages: 5-58, Published: 29 SEP 2016

Logic B1-5802 Argumentation theory Epistemology 02 engineering and techn... Defeasible reasoning …
Fachzeitschrift
Zu den Favoriten
52

Supervaluar o Revisar
Paula Teijeiro
Manuscrito, Vol 39, Iss 3, Pp 149-169
CONICET Digital (CONICET)
Consejo Nacional de Investigaciones Científicas y Técnicas
Manuscrito: Revista Internacional de Filosofia; v. 39 n. 3 (2016): jul./set.; 148-169
Manuscrito: International Journal of Philosophy; Vol. 39 No. 3 (2016): jul./set.; 148-169
Manuscrito: Revista Internacional de Filosofía; Vol. 39 Núm. 3 (2016): jul./set.; 148-169
Manuscrito
Universidade Estadual de Campinas (UNICAMP)
instacron:UNICAMP
Manuscrito, Volume: 39, Issue: 3, Pages: 149-169, Published: SEP 2016

Logic B1-5802 Teoría de la Revisión/Re... Sorites/Sorites 0603 philosophy, ethics... Logic Programming and Kn... …
Fachzeitschrift
Zu den Favoriten
53

Contractive Functions on Infinite Data Structures
Venanzio Capretta ; Graham Hutton ; Mauro Jaskelioff
Proceedings of the 28th Symposium on the Implementation and Application of Functional Programming Languages. :1-13

Artificial intelligence Class (philosophy) FOS: Political science Mathematical proof Geometry FOS: Law …
Fachzeitschrift
Zu den Favoriten
54

Los alcances del pluralismo lógico
Omar Vásquez Dávila
Revista Filosofía UIS, Vol 14, Iss 2 (2015)

Nonmonotonic Reasoning FOS: Political science B1-5802 Social Sciences Experimental and Cogniti... monismo …
Fachzeitschrift
Zu den Favoriten
55

El conocimiento grupal de agentes epistémicamente responsables
Eleonora Cresto
Veritas (Porto Alegre). 60:460-482

Epistemic Intuitions FOS: Political science Social Sciences FOS: Humanities Epistemology and Philoso... FOS: Philosophy, ethics... …
Fachzeitschrift
Zu den Favoriten
56

Automated Reasoning in Temporal DL-Lite
Sabiha Tahrat ; Germán Braun ; Alessandro Artale ; et al.

FOS: Computer and inform... Artificial intelligence Computer Science - Artif... Computer Networks and Co... Natural language process... Distributed Constraint O... …
Fachzeitschrift
Zu den Favoriten
57

The sole relative marker
Xiuming Huang ; Cheng-Yu Edwin Tsai

Nonmonotonic Reasoning Social Sciences Linguistics Statistical Machine Tran... Language and Linguistics FOS: Philosophy, ethics... …
Zu den Favoriten
58

Why FDE might be too strong for Beall
Hitoshi Omori ; Jonas R. Becker Arenhart

Carrier signal 4. Education 16. Peace & justice SC-FDE Computer science Transmission (telecommun... …
Zu den Favoriten
59

A resolution-based calculus for Coalition Logic
Cláudia Nalon ; Zhang Li ; Clare Dixon ; et al.
Journal of Logic and Computation
Nalon, C, Zhang, L, Dixon, C & Hustadt, U 2014, 'A resolution-based calculus for coalition logic', Journal of Logic and Computation, pp. 883-917. https://doi.org/10.1093/logcom/ext074

QA75 Artificial intelligence Natural deduction Set (abstract data type) 0102 computer and inform... 02 engineering and techn... …
Fachzeitschrift
Zu den Favoriten
60

A rewriting logic approach to specification, proof-search, and meta-proofs in sequent systems
Olarte, Carlos ; Pimentel, Elaine ; Rocha, Camilo ; et al.
Journal of Logical and Algebraic Methods in Programming

FOS: Computer and inform... Intermediate logic Computer Science - Logic... Rewriting Mathematical proof Linear logic …
Fachzeitschrift
Zu den Favoriten
Suchwerkzeuge: RSS-Feed abonnieren Diese Suche als E-Mail versenden Suche speichern

Filter