• Suche: "Logic Programming and Knowledge Representation"

Treffer 1 - 20 von 137

1

General Policies, Subgoal Structure, and Planning Width
Blai Bonet ; Héctor Geffner
Journal of Artificial Intelligence Research 80, 475-516 (2024). doi:10.1613/jair.1.15581
Journal of Artificial Intelligence Research

FOS: Computer and inform... Computer Science - Artif... Computer Networks and Co... Artificial Intelligence... Distributed Constraint O... Epistemology …
Fachzeitschrift
Zu den Favoriten
2

Pattern Models: A Dynamic Epistemic Logic For Distributed Systems
Armando Castañeda ; Hans van Ditmarsch ; David A. Rosenblueth ; et al.
The Computer Journal. 67:2421-2440

Cognitive science Artificial intelligence Data Stream Management S... Computer Networks and Co... Column-oriented Database... 0102 computer and inform... …
Fachzeitschrift
Zu den Favoriten
3

A Generalization of Beall’s Off-Topic Interpretation
Yang Song ; Hitoshi Omori ; Jonas R. Becker Arenhart ; et al.
Studia Logica. 112:893-932

Interpretation (philosop... Nonmonotonic Reasoning Abstract Interpretation Generalization Linguistics Epistemology …
Fachzeitschrift
Zu den Favoriten
4

Boolean Connexive Logic and Content Relationship: Boolean connexive logic and content relationship
Mateusz Klonowski ; Luis Estrada‐González
Studia Logica. 112:207-248

logic of content relatio... Geometry Set (abstract data type) Computational linguistic... Mathematical logic and f... 0603 philosophy, ethics... …
Fachzeitschrift
Zu den Favoriten
5

Intuitionistic Modal Algebras
Sergio A. Celani ; Umberto Rivieccio ; e-Spacio UNED
e-spacio. Repositorio Institucional de la UNED
Universidad Nacional de Educación a Distancia
e-spacio (DSpace). Repositorio Institucional de la UNED
instname
CONICET Digital (CONICET)
Consejo Nacional de Investigaciones Científicas y Técnicas
Studia Logica

REPRESENTATION representation 72 Filosofía Heyting algebra 02 engineering and techn... 01 natural sciences …
Fachzeitschrift
Zu den Favoriten
6

Integration of state machine graphical animation and Maude to facilitate characteristic conjecture: an approach to lemma discovery in theorem proving
Dang Duy Bui ; Duong Dinh Tran ; Kôichi Ogata ; et al.
Multimedia Tools and Applications. 83:36865-36898

Artificial intelligence Abstract Interpretation Commutative property 0102 computer and inform... 02 engineering and techn... Poaceae …
Fachzeitschrift
Zu den Favoriten
7

PDL on Steroids: on Expressive Extensions of PDL with Intersection and Converse
Figueira, Diego ; Figueira, Santiago ; Pin, Edwin
2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS). :1-13

FOS: Computer and inform... Computer Science - Logic... Artificial intelligence Class (philosophy) Computer Science - Artif... Geometry …
Fachzeitschrift
Zu den Favoriten
8

Probabilistic causal bipolar abstract argumentation: an approach based on credal networks
Mariela Morveli-Espinoza ; Juan Carlos Nieves ; César Augusto Tacla
Annals of Mathematics and Artificial Intelligence. 91:517-536

Relation (database) Artificial intelligence Social Sciences Bipolar abstract argumen... Business, Management and... Argumentation theory …
Fachzeitschrift
Zu den Favoriten
9

A note on closure spaces determined by intersections
Víctor Fernández ; Cristian Brunetta
Boletim da Sociedade Paranaense de Matemática, Vol 41 (2022)

Rough Sets Theory and Ap... FOS: Political science Generalization Set (abstract data type) FOS: Law Mathematical analysis …
Fachzeitschrift
Zu den Favoriten
10

The logic of conditionals on outback trails
van Benthem, J.
Logic Journal of the IGPL. 31:1135-1152

Cognitive science Artificial intelligence Meaning (existential) Epistemology 06 humanities and the ar... 15. Life on land …
Fachzeitschrift
Zu den Favoriten
11

A dual-context sequent calculus for the constructive modal logic S4
Favio E. Miranda-Perea ; Lourdes del Carmen González Huesca ; Pilar Selene Linares Arévalo
Mathematical Structures in Computer Science. 32:1205-1233

Artificial intelligence Separation Logic Mathematical proof Rule of inference 01 natural sciences Sequent calculus …
Fachzeitschrift
Zu den Favoriten
12

Indexed and fibered structures for partial and total correctness assertions
Uwe Wolter ; Alfio Martini ; E.H. Häusler
Mathematical Structures in Computer Science

Høyere kategoriteori Geometry Hoare logic 0102 computer and inform... 02 engineering and techn... 01 natural sciences …
Fachzeitschrift
Zu den Favoriten
13

Belief Revision and Computational Argumentation: A Critical Comparison
Baroni, Pietro ; Fermé, Eduardo ; Giacomin, Massimiliano ; et al.
Journal of Logic, Language and Information. 31:555-589

Cognitive science Artificial intelligence Dynamics of knowledge Argumentation theory Argumentation Theory, Be... Epistemology …
Fachzeitschrift
Zu den Favoriten
14

Local is Best: Efficient Reductions to Modal Logic K
Fabio Papacchini ; Cláudia Nalon ; Ullrich Hustadt ; et al.
Papacchini, F, Nalon, C, Hustadt, U & Dixon, C 2022, '"Local is Best: Efficient Reductions to Modal Logic K"', Journal of Automated Reasoning. https://doi.org/10.1007/s10817-022-09630-6

Nonmonotonic Reasoning 4. Education 0102 computer and inform... 02 engineering and techn... 01 natural sciences Algorithm …
Fachzeitschrift
Zu den Favoriten
15

Simplified Kripke Semantics for K45-Like Gödel Modal Logics and Its Axiomatic Extensions
Ricardo Óscar Rodríguez ; Olim Tuyt ; Francesc Esteva ; et al.
Digital.CSIC. Repositorio Institucional del CSIC
instname
Studia Logica

FOS: Computer and inform... Rough Sets Theory and Ap... Artificial intelligence Computer Science - Artif... Mathematics - Logic 0102 computer and inform... …
Fachzeitschrift
Zu den Favoriten
16

Non-Deterministic Functions as Non-Deterministic Processes (Extended Version)
Joseph W. N. Paulus ; Daniele Nantes-Sobrinho ; Jorge A. Pérez
Logical Methods in Computer Science, Vol Volume 19, Issue 4 (2023)

FOS: Computer and inform... Computer Science - Logic... Artificial intelligence Logic Linear logic 0102 computer and inform... …
Fachzeitschrift
Zu den Favoriten
17

Imposible, pero no problemático: comprendiendo la adopción con teoría dialógica de tipos
Miguel Álvarez Lisboa
Tesis (Lima), Vol 14, Iss 19, Pp 677-696 (2021)
CONICET Digital (CONICET)
Consejo Nacional de Investigaciones Científicas y Técnicas

DIALÓGICA SEMÁNTICAS LÚDICO-TEÓRIC... Arts in general ANTIEXCEPCIONALISMO PROBLEMA DE LA ADOPCIÓN Social Sciences …
Fachzeitschrift
Zu den Favoriten
18

Deep ST
Thomas Macaulay Ferguson ; Elisángela Ramírez-Cámara
Journal of Philosophical Logic. 51:1261-1293

Artificial intelligence Separation Logic Economics Abstract Interpretation 0603 philosophy, ethics... 01 natural sciences …
Fachzeitschrift
Zu den Favoriten
19

Nominales cardinales como predicados colectivos
Axel Arturo Barceló Aspeitia
Cuadernos de Lingüística de El Colegio de México, Vol 8 (2021)
Universidad Nacional Autónoma de México
UNAM
Redalyc-UNAM
Cuadernos de Lingüística de El Colegio de México (México) Vol.8

Numerales P1-1091 plurales 0603 philosophy, ethics... Pluralidad Lengua y Literatura …
Fachzeitschrift
Zu den Favoriten
20

Analogías a priori y aplicación de conceptos
Fabián Bernache Maldonado
Cogency. 13:7-34

Moral Distress in Health... Social Sciences Health Professions FOS: Law FOS: Humanities Epistemology …
Fachzeitschrift
Zu den Favoriten
Suchwerkzeuge: RSS-Feed abonnieren Diese Suche als E-Mail versenden Suche speichern

Filter