• Suche: "Answer set programming"

Treffer 61 - 80 von 3.452

61

Learning Brave Assumption-Based Argumentation Frameworks via ASP
Emanuele De Angelis ; Maurizio Proietti ; Francesca Toni
Frontiers in Artificial Intelligence and Applications ISBN: 9781643685489
32nd International Conference on Inductive Logic Programming, Bari, 13-15/11/2023
info:cnr-pdr/source/autori:Emanuele De Angelis; Maurizio Proietti; Francesca Toni/congresso_nome:32nd International Conference on Inductive Logic Programming/congresso_luogo:Bari/congresso_data:13-15%2F11%2F2023/anno:2023/pagina_da:/pagina_a:/intervallo_pagine

FOS: Computer and inform... Computer Science - Machi... Computer Science - Logic... Logic-based Learning Answer Set Programming Computer Science - Artif... …
Buch
Zu den Favoriten
62

A Generalisation of Epistemic Splitting Property
Ezgi Iraz Su
Lecture Notes in Computer Science ISBN: 9783031742088

Subjective constraint mo... Epistemic splitting prop... Answer-set programming Epistemic logic programs Equilibrium logic
Buch
Zu den Favoriten
63

Integrating MiniZinc with ASP Chef: Browser-Based Constraint Programming for Education and Prototyping
Alviano M. ; Rodriguez Reiners L. A.
Lecture Notes in Computer Science ISBN: 9783031742088

system description Answer Set Programming Constraint Programming
Buch
Zu den Favoriten
64

Integrating Structured Declarative Language (SDL) into ASP Chef
Alviano M. ; Guarasci P. ; Rodriguez Reiners L. A. ; et al.
Lecture Notes in Computer Science ISBN: 9783031742088

system description Answer Set Programming declarative languages Combinatorial Search and...
Buch
Zu den Favoriten
65

Answer Set Explanations via Preferred Unit-Provable Unsatisfiable Subsets
Mario Alviano ; Susana Hahn ; Orkunt Sabuncu ; et al.
Lecture Notes in Computer Science ISBN: 9783031742088

eXplainable Artificial I... Answer Set Programming Knowledge Representation...
Buch
Zu den Favoriten
66

Assessing Drivers' Situation Awareness in Semi-Autonomous Vehicles: ASP based Characterisations of Driving Dynamics for Modelling Scene Interpretation and Projection
Suchan, Jakob ; Osterloh, Jan-Patrick
Electronic Proceedings in Theoretical Computer Science. 385:300-313

FOS: Computer and inform... Computer Science - Logic... Artificial Intelligence... Computer Science - Artif... Computer Science - Human... Semi-Autonomous Driving... …
Fachzeitschrift
Zu den Favoriten
67

ABA Learning via ASP
De Angelis Emanuele ; Proietti Maurizio ; Toni Francesca
39th International Conference on Logic Programming, ICLP 2023, pp. 1–8, London, UK, 09-15/07/2023
info:cnr-pdr/source/autori:De Angelis, Emanuele; Proietti, Maurizio; Toni, Francesca/congresso_nome:39th International Conference on Logic Programming, ICLP 2023/congresso_luogo:London, UK/congresso_data:09-15%2F07%2F2023/anno:2023/pagina_da:1/pagina_a:8/intervallo_pagine:1–8
ICLP 2023

FOS: Computer and inform... Computer Science - Logic... Artificial Intelligence... Answer Set Programming Explainable Artificial I... Computer Science - Artif... …
Fachzeitschrift
Zu den Favoriten
68

Argumentative Reasoning in ASPIC+ under Incomplete Information
Odekerken, Daphne ; Lehtonen, Tuomo ; Borg, AnneMarie ; et al.
Proceedings of the Twentieth International Conference on Principles of Knowledge Representation and Reasoning. :531-541

Computer and information... Argumentation Taverne 0202 electrical engineer... 0102 computer and inform... 02 engineering and techn... …
Fachzeitschrift
Zu den Favoriten
69

A Semantic characterization for ASP base revision
Garcia, Laurent ; Lefevre, Claire ; Papini, Odile ; et al.
Scalable Uncertainty Management. :334-347

Granada, Spain Answer Set Programming Base revision Belief revision Belief change Non-monotonic reasoning …
Konferenz
Zu den Favoriten
70

Declarative Sequential Pattern Mining of Care Pathways
Guyet, Thomas ; Happe, André ; Dauxais, Yann ; et al.
Conference on Artificial Intelligence in Medicine in Europe. :1161-1266

Vienna, Austria patient care pathways medico-administra- tive... epidemiology answer set programming [INFO.INFO-AI]Computer S... …
Konferenz
Zu den Favoriten
71

Lifting Low-Level Workflow Changes Through User-Defined Graph-Rule-Based Patterns
Jahl, Alexander ; Baraki, Harun ; Tran, Huu ; et al.
17th IFIP International Conference on Distributed Applications and Interoperable Systems (DAIS). :115-128

Neuchâtel, Switzerland Graph transformation Graph matching Pattern matching Change Impact Analysis Dependency graph …
Konferenz
Zu den Favoriten
72

An ASP Implementation of Defeasible Deontic Logic
Governatori, Guido
KI - Künstliche Intelligenz: German Journal of Artificial Intelligence. :1-10

Fachzeitschrift
Zu den Favoriten
73

Setting the Basis for Here and There Modal Logics
Balbiani, Philippe ; Dieguez, Martin ; Fariñas del Cerro, Luis ; et al.
Journal of Applied Logics - IfCoLoG Journal of Logics and their Applications. 6(7):1475-1500

Modal Logic Intuitionistic Logic Answer Set Programming [INFO.INFO-LO]Computer S... Logic in Computer Scienc...
Zeitschrift
Zu den Favoriten
74

Gelfond-Zhang aggregates as propositional formulas
Cabalar, Pedro ; Fandinno, Jorge ; Schaub, Torsten ; et al.
Artificial Intelligence (AIJ). 274:26-43

Aggregates Answer set programming [INFO.INFO-AI]Computer S... Artificial Intelligence...
Zeitschrift
Zu den Favoriten
75

Decomposition approaches for scheduling chronic outpatients’ clinical pathways in Answer Set Programming
Cappanera, P ; Gavanelli, M ; Nonato, M ; et al.
Journal of Logic and Computation. 33:1851-1871

Clinical pathways outpatient appointment s... Answer Set Programming decomposition approaches Clinical pathways, outpa... 3. Good health
Fachzeitschrift
Zu den Favoriten
76

A simple proof-theoretic characterization of stable models: Reduction to difference logic and experiments
Gebser, Martin ; Giunchiglia, Enrico ; Maratea, Marco ; et al.
In Artificial Intelligence March 2025 340

Fachzeitschrift
Zu den Favoriten
77

Logic Programming for Orthogonal Graph Drawing on Restricted Grids
Strąk, Łukasz ; Wieczorek, Wojciech ; Nowakowski, Arkadiusz
In Procedia Computer Science 2025 270:2318-2325

Fachzeitschrift
Zu den Favoriten
78

Answer Set Searching with Weighted MaxSAT
Nowakowski, Arkadiusz ; Wieczorek, Wojciech ; Strąk, Łukasz
In Procedia Computer Science 2025 270:2301-2309

Fachzeitschrift
Zu den Favoriten
79

A Smart Adaptive Transportation Planning Model Including Real-time Drivers’ Knowledge using Answer Set Programming and Knowledge Graphs
Mofatteh, Mohammad Yaser ; Abbas, Reyan ; Seddoh, Nicholas Desire ; et al.
In Procedia Computer Science 2025 253:2358-2368

Fachzeitschrift
Zu den Favoriten
80

CNL2ASP: Converting Controlled Natural Language Sentences into ASP
CARUSO, SIMONE ; DODARO, CARMINE ; MARATEA, MARCO ; et al.
Theory and Practice of Logic Programming. 24:196-226

FOS: Computer and inform... logic programming Computer Science - Logic... Computer Science - Compu... Artificial Intelligence... Computer Science - Artif... …
Fachzeitschrift
Zu den Favoriten
Suchwerkzeuge: RSS-Feed abonnieren Diese Suche als E-Mail versenden Suche speichern

Filter