• Search: "Answer Set Programming"

Showing 181 - 200 of 3,452

181

I-DLV-sr: A Stream Reasoning System based on I-DLV
Calimeri F. ; Manna M. ; Mastria E. ; et al.
Theory and Practice of Logic Programming. 21:610-628

Stream processing FOS: Computer and inform... Computer Science - Logic... Artificial Intelligence... Computer Science - Artif... Answer set programming …
Academic journal
Save to List
182

Modal Logic S5 Satisfiability in Answer Set Programming
MARIO ALVIANO ; SOTIRIS BATSAKIS ; GEORGE BARYANNIS
Theory and Practice of Logic Programming. 21:527-542

FOS: Computer and inform... Artificial Intelligence... Answer Set Programming Computer Science - Artif... Modal logic 0202 electrical engineer... …
Academic journal
Save to List
183

Adding Metalogic Features to Knowledge Representation Languages*
Costantini S. ; Formisano A.
Fundamenta Informaticae. 181:71-98

Answer Set Programming Datalog ± Meta-reasoning Web-ontologies 0102 computer and inform... …
Academic journal
Save to List
184

Inductive learning of answer set programs for autonomous surgical task planning: Application to a training task for surgeons
Daniele Meli ; Mohan Sridharan ; Paolo Fiorini
Machine Learning

0209 industrial biotechn... Answer set programming 0202 electrical engineer... Inductive logic programm... 02 engineering and techn... 16. Peace & justice …
Academic journal
Save to List
185

Combining neural and symbolic approaches to solve the Picasso problem: A first step
Gliozzi, Valentina ; Pozzato, Gian Luca ; Valese, Alberto
In Displays September 2022 74

Academic journal
Save to List
186

Smoke Test Planning using Answer Set Programming
Philipp, Tobias ; Roland, Valentin ; Schweizer, Lukas
Re-Unir. Archivo Institucional de la Universidad Internacional de La Rioja
instname
Universidad Internacional de La Rioja (UNIR)
International Journal of Interactive Multimedia and Artificial Intelligence, Vol 6, Iss 5, Pp 57-65 (2021)

Technology 03 medical and health sc... 0302 clinical medicine 0202 electrical engineer... IJIMAI 02 engineering and techn... …
Academic journal
Save to List
187

A Compact Answer Set Programming Encoding of Multi-Agent Pathfinding
Rodrigo N. Gomez ; Carlos Hernandez ; Jorge A. Baier
IEEE Access, Vol 9, Pp 26886-26901 (2021)

Optimization Standards 0209 industrial biotechn... multi-agent pathfinding Answer set programming 02 engineering and techn... …
Academic journal
Save to List
188

Boosting Answer Set Optimization with Weighted Comparator Networks
Janhunen ; Tomi ; Bomanson, Jori ; et al.
Theory and Practice of Logic Programming. 20:512-551

ta113 FOS: Computer and inform... Translation Computer Science - Logic... Answer Set Programming optimization rewriting …
Academic journal
Save to List
189

Declarative Programming Approach for Fake Review Detection
Nour Jnoub ; Wolfgang Klas
2020 15th International Workshop on Semantic and Social Media Adaptation and Personalization (SMA. :1-7

102028 Knowledge Enginee... 102035 Data science Answer Set Programming Declarative Programming 102027 Web Engineering 0202 electrical engineer... …
Academic journal
Save to List
190

An application of Answer Set Programming in Distributed Architectures: ASP Microservices
Costantini S. ; De Lauretis L.
Electronic Proceedings in Theoretical Computer Science. 325:230-243

FOS: Computer and inform... Computer Science - Logic... I.2.3 I.2.4 I.2.11 Computer Science - Artif... …
Academic journal
Save to List
191

A System for Explainable Answer Set Programming
Pedro Cabalar ; Brais Muñiz ; Jorge Fandinno
RUC. Repositorio da Universidade da Coruña
instname
RUC: Repositorio da Universidade da Coruña
Universidade da Coruña (UDC)

FOS: Computer and inform... I.2.3 Computer Science - Progr... Answer Set Programming Computer Science - Artif... D.1.6 …
Academic journal
Save to List
192

Towards an Inductive Logic Programming Approach for Explaining Black-Box Preference Learning Systems
D'Asaro, Fabio A. ; Spezialetti, Matteo ; Raggioli, Luca ; et al.
Proceedings of the Seventeenth International Conference on Principles of Knowledge Representation and Reasoning. :855-859

0202 electrical engineer... Explainable AI, Logic pr... 02 engineering and techn...
Academic journal
Save to List
193

Model-based reasoning using answer set programming
Wotawa, Franz ; Kaufmann, David
Applied Intelligence: The International Journal of Research on Intelligent Systems for Real Life Complex Problems. 52(15):16993-17011

Academic journal
Save to List
194

Restricting data-leakage using fine-grained access control on OSN objects
Rathore, Nemi Chandra ; Tripathy, Somanath
International Journal of Information Security. :1-14

Academic journal
Save to List
195

Treewidth-aware reductions of normal ASP to SAT – Is normal ASP harder than SAT after all?
Hecher, Markus
In Artificial Intelligence March 2022 304

Academic journal
Save to List
196

Hybrid Production: Enabled By Controlling The Output Sequence Of A Matrix Production Using Answer Set Programming
Kaiser, Pascal ; Thevapalan, Andre ; Reining, Christopher ; et al.
In Procedia CIRP 2022 107:1305-1310

Academic journal
Save to List
197

Answers set programs for non-transferable utility games: Expressiveness, complexity and applications
Amendola, Giovanni ; Greco, Gianluigi ; Veltri, Pierfrancesco
In Artificial Intelligence January 2022 302

Academic journal
Save to List
198

On the Semantics of Hybrid ASP Systems Based on Clingo
Pedro Cabalar ; Jorge Fandinno ; Torsten Schaub ; et al.
Algorithms, Vol 16, Iss 4, p 185 (2023)

answer set programming answer set programming m... hybrid reasoning semantic foundations Industrial engineering.... T55.4-60.8 …
Academic journal
Save to List
199

Solving an Industrial-Scale Warehouse Delivery Problem with Answer Set Programming Modulo Difference Constraints
David Rajaratnam ; Torsten Schaub ; Philipp Wanko ; et al.
Algorithms, Vol 16, Iss 4, p 216 (2023)

answer set programming answer set programming m... hybrid reasoning multi-agent path finding multi-agent planning Industrial engineering.... …
Academic journal
Save to List
200

Hybrid modelling to Solve Optimal Concentrations of Metabolites and Enzymes in Constraint-based modelling
Peres, Sabine ; Laboratoire de Biométrie et Biologie Evolutive - UMR 5558 (LBBE) ; Université Claude Bernard Lyon 1 (UCBL) ; et al.
BIOSTEC 2023, Feb 2023, Lisbon (Portugal), Portugal

Lisbon (Portugal), Portu... Metabolic Network Elementary Flux Modes Constraint-Based Modelli... Kinetics Constraints Answer Set Programming …
Conference
Save to List
Search Tools: Get RSS Feed Email this Search Save Search

Filter