• Suche: "Logic Programming and Knowledge Representation"

Treffer 21 - 40 von 137

21

Logics of formal inconsistency based on distributive involutive residuated lattices
Francesc Esteva ; Aldo Figallo-Orellano ; Tommaso Flaminio ; et al.
Digital.CSIC: Repositorio Institucional del CSIC
Consejo Superior de Investigaciones Científicas (CSIC)
Digital.CSIC. Repositorio Institucional del CSIC
instname

Monoidal t-norm logic Rough Sets Theory and Ap... Artificial intelligence 02 engineering and techn... Biochemistry Gene …
Fachzeitschrift
Zu den Favoriten
22

Towards Refinable Choreographies
Ugo de'Liguoro ; Hernán Melgratti ; Emilio Tuosto
Journal of Logic and Algebraic Methods in Programming

FOS: Computer and inform... Computer Science - Logic... 0102 computer and inform... 02 engineering and techn... Type Inference 01 natural sciences …
Fachzeitschrift
Zu den Favoriten
23

DefTab : A Tableaux System for Sceptical Consequence in Default Modal Logics
Carlos Areces ; Valentín Cassano ; Raul Fervari ; et al.
Lecture Notes in Computer Science ISBN: 9783031435126

Multimodal logic Quantum mechanics Description Logics Database Theoretical computer sci... Logic Programming and Kn... …
Buch
Zu den Favoriten
24

Buy One Get 14 Free: Evaluating Local Reductions for Modal Logic
Cláudia Nalon ; Ullrich Hustadt ; Fabio Papacchini ; et al.
Lecture Notes in Computer Science ISBN: 9783031384981
Nalon, C, Hustadt, U, Papacchini, F & Dixon, C 2023, Buy One Get 14 Free: Evaluating Local Reductions for Modal Logic⋆. in Conference on Automated Deduction . https://doi.org/10.1007/978-3-031-38499-8_22

Nonmonotonic Reasoning Artificial intelligence 4. Education Computer science Description Logics Algorithm …
Buch
Zu den Favoriten
25

Automated Tail Bound Analysis for Probabilistic Recurrence Relations
Yican Sun ; Hongfei Fu ; Krishnendu Chatterjee ; et al.
Lecture Notes in Computer Science ISBN: 9783031377082

FOS: Computer and inform... Artificial intelligence Regular Expressions Automata Theory and Form... Runtime Verification Computer science …
Buch
Zu den Favoriten
26

Dynamics of Belief: Abduction, Horn Knowledge Base And Database Updates
Radhakrishnan Delhibabu

FOS: Computer and inform... Computer Science - Logic... Datalog Artificial intelligence Computer Science - Artif... Generalization …
Fachzeitschrift
Zu den Favoriten
27

An axiomatic approach to forcing and generic extensions
Rodrigo Argenton Freire
Comptes Rendus. Mathématique, Vol 358, Iss 6, Pp 757-775 (2020)

Abstract Interpretation Axiomatic system Geometry Mathematical analysis 01 natural sciences Logic Programming and Kn... …
Fachzeitschrift
Zu den Favoriten
28

Conjunctive and Disjunctive Limits: Abstract Logics and Modal Operators
Alexandre Costa-Leite ; Edélcio G. de Souza
Studia Humana, Vol 9, Iss 3-4, Pp 66-71 (2020)

conjunctive limit jan woleński Lógica abstrata Abstract Interpretation disjunctive limit B1-5802 …
Fachzeitschrift
Zu den Favoriten
29

Linear Lambda-Calculus is Linear
Alejandro Díaz-Caro ; Gilles Dowek ; Dowek, Gilles ; et al.

Foundations of Quantum M... Mathematical proof Linear logic Geometry [MATH] Mathematics [math... [INFO] Computer Science... …
Zu den Favoriten
30

Modal Logics and Local Quantifiers: A Zoo in the Elementary Hierarchy
Raul Fervari ; Alessio Mansutti
Lecture Notes in Computer Science ISBN: 9783030992521
Proceedings FOSSACS 2022
Lecture Notes in Computer Science
Lecture Notes in Computer Science-Foundations of Software Science and Computation Structures

Nonmonotonic Reasoning Artificial intelligence Computer science Description Logics Algorithm Database …
Buch
Zu den Favoriten
31

Local Reductions for the Modal Cube
Cláudia Nalon ; Ullrich Hustadt ; Fabio Papacchini ; et al.
Lecture Notes in Computer Science ISBN: 9783031107689
Nalon, C, Hustadt, U, Papacchini, F & Dixon, C 2022, Local Reductions for the Modal Cube⋆. in J Blanchette, L Kovács & D Pattinson (eds), Automated Reasoning-11th International Joint Conference, IJCAR 2022, Proceedings. Lecture Notes in Computer Science, vol. 13385, pp. 486-505. https://doi.org/10.1007/978-3-031-10769-6_29

Nonmonotonic Reasoning Artificial intelligence 7. Clean energy Computer science Description Logics 12. Responsible consumpt... …
Buch
Zu den Favoriten
32

Direct Foundations for Compositional Programming
Andong Fan ; Xuejing Huang ; Xu Han ; et al.

FOS: Computer and inform... Disjoint sets Well-founded semantics Mathematical proof Geometry Intersection types …
Fachzeitschrift
Zu den Favoriten
33

A Comparative Study of Some Central Notions of ASPIC+ and DeLP
Alejandro Javier García ; Henry Prakken ; Guillermo Ricardo Simari ; et al.
Theory and Practice of Logic Programming. 20:358-390

FOS: Computer and inform... Financial economics Artificial intelligence Sociology and Political... Computer Science - Artif... Economics …
Fachzeitschrift
Zu den Favoriten
34

The Ontological Import of Adding Proper Classes
ALFREDO ROQUE FREIRE ; RODRIGO DE ALVARENGA FREIRE
Manuscrito, Vol 42, Iss 2, Pp 85-112
Manuscrito, Volume: 42, Issue: 2, Pages: 112-85, Published: 12 AUG 2019

Relation (database) 0301 basic medicine Artificial intelligence Sentence Logic B1-5802 …
Fachzeitschrift
Zu den Favoriten
35

TWO-VALUED WEAK KLEENE LOGICS
Bruno Da Ré ; Damián Szmuc
Manuscrito, Vol 42, Iss 1, Pp 1-43 (2019)
CONICET Digital (CONICET)
Consejo Nacional de Investigaciones Científicas y Técnicas
Manuscrito: Revista Internacional de Filosofia; v. 42 n. 1 (2019): jan./mar.; 1-43
Manuscrito: International Journal of Philosophy; Vol. 42 No. 1 (2019): jan./mar.; 1-43
Manuscrito: Revista Internacional de Filosofía; Vol. 42 Núm. 1 (2019): jan./mar.; 1-43
Manuscrito
Universidade Estadual de Campinas (UNICAMP)
instacron:UNICAMP

Monoidal t-norm logic Artificial intelligence Bivaluations Logic B1-5802 T-norm fuzzy logics …
Fachzeitschrift
Zu den Favoriten
36

How Reasonable are Common-Sense Reasoning Tasks: A Case-Study on the Winograd Schema Challenge and SWAG
Paul Trichelair ; Ali Emami ; Adam Trischler ; et al.
Proceedings of the 2019 Conference on Empirical Methods in Natural Language Processing and the 9th International Joint Conference on Natural Language Processing (EMNLP-IJCNLP). :3380-3385

FOS: Computer and inform... Computer Science - Machi... Artificial intelligence Computer Science - Artif... Economics Ferroelectric Devices fo... …
Fachzeitschrift
Zu den Favoriten
37

Efficient Local Reductions to Basic Modal Logic
Fabio Papacchini ; Cláudia Nalon ; Ullrich Hustadt ; et al.
Lecture Notes in Computer Science ISBN: 9783030798758
Papacchini, F, Nalon, C, Hustadt, U & Dixon, C 2021, Efficient Local Reductions to Basic Modal Logic. in 28th International Conference on Automated Deduction. vol. 12699. https://doi.org/10.1007/978-3-030-79876-5_5

Artificial intelligence Abstract Interpretation Mathematical proof Geometry Description Logics Logic Programming and Kn... …
Buch
Zu den Favoriten
38

Adding Proof Calculi to Epistemic Logics with Structured Knowledge
Mario R. F. Benevides ; Alexandre Madeira ; Manuel A. Martins
Lecture Notes in Computer Science ISBN: 9783030892463

Artificial intelligence Class (philosophy) FOS: Political science FOS: Law Epistemic modal logic Multimodal logic …
Buch
Zu den Favoriten
39

Dual forgetting operators in the context of weakest sufficient and strongest necessary conditions
Patrick Doherty ; Andrzej Szałas
Artificial Intelligence. 326:104036

FOS: Computer and inform... Computer Science - Logic... Logical consequence Artificial intelligence FOS: Political science 02 engineering and techn... …
Fachzeitschrift
Zu den Favoriten
40

Iterated Belief Change the Case of Expansion Into Inconsistency
Fermé, Eduardo ; Wassermann, Renata ; DigitUMa
2017 Brazilian Conference on Intelligent Systems (BRACIS). :420-425

Artificial intelligence Learning and Inference i... Geometry 02 engineering and techn... Belief change 0603 philosophy, ethics... …
Fachzeitschrift
Zu den Favoriten
Suchwerkzeuge: RSS-Feed abonnieren Diese Suche als E-Mail versenden Suche speichern

Filter