• Search: "Answer Set Programming"

Showing 161 - 180 of 3,452

161

Detect, Understand, Act: A Neuro-symbolic Hierarchical Reinforcement Learning Framework
Ludovico Mitchener ; David Tuckey ; Matthew Crosby ; et al.
Machine Learning. 111:1523-1549

Deep reinforcement learn... Technology Science & Technology 1702 Cognitive Sciences Answer set programming Inductive logic programm... …
Academic journal
Save to List
162

Geometric reasoning on the euclidean traveling salesperson problem in answer set programming
Alessandro Bertagnon ; Marco Gavanelli

Answer set programming euclidean traveling sale... experimental comparison...
Academic journal
Save to List
163

Efficient Enumeration of Fixed Points in Complex Boolean Networks Using Answer Set Programming
Trinh, Van-Giang ; Benhamou, Belaid ; Soliman, Sylvain ; et al.
29th International Conference on Principles and Practice of Constraint Programming (CP 2023)
https://amu.hal.science/hal-04209296
29th International Conference on Principles and Practice of Constraint Programming (CP 2023), Aug 2023, Toronto, Canada. pp.35:1--35:19, ⟨10.4230/LIPIcs.CP.2023.35⟩

Toronto Computational systems bi... Boolean network Fixed point Answer set programming Logic programming and an... …
Conference
Save to List
164

From Probabilistic Programming to Complexity-based Programming
Sileno, Giovanni ; Dessalles, Jean-Louis ; Universiteit van Amsterdam = University of Amsterdam (UvA) ; et al.
European Conference on Artificial Intelligence ; 26th European Conference on Artificial Intelligence ECAI 2023 ; https://hal.science/hal-04464156 ; 26th European Conference on Artificial Intelligence ECAI 2023, Sep 2023, Kraków, Poland. pp.304-317, ⟨10.1007/978-3-031-50485-3_32⟩

Kraków Poland Complexity-based program... Complexity-based program... Simplicity Theory Causal models …
Conference
Save to List
165

The Challenges of Inferring Dynamic Models from Time Series
Ribeiro, Tony ; Folschette, Maxime ; Trilling, Laurent ; et al.
Symbolic Approaches to Modeling and Analysis of Biological Systems, Wiley, 2023, 9781789450293. ⟨10.1002/9781394229086.ch3⟩

Time series data Regulatory networks Logic programming Inductive logic programm... dynamic biological syste... Answer Set Programming p... …
Book
Save to List
166

Forgetting Auxiliary Atoms in Forks
Aguado, Felicidad ; Calabar, Pedro ; Fandinno, Jorge ; et al.

Espoo, Finland Strong equivalence Forgetting Denotational semantics Equilibrium logic Answer set programming …
Conference
Save to List
167

A Declarative Modular Framework for Representing and Applying Ethical Principles
Berreby, Fiona ; Bourgne, Gauvain ; Ganascia, Jean-Gabriel ; et al.
16th Conference on Autonomous Agents and MultiAgent Systems , May 2017, Sao Paulo, Brazil

Sao Paulo, Brazil Reasoning about Actions... Event Calculus Answer Set Programming Computational Ethics [INFO.INFO-LO]Computer S... …
Conference
Save to List
168

Reactive Answer Set Programming
KRYSIA BRODA ; FARIBA SADRI ; STEPHEN BUTLER
Theory and Practice of Logic Programming. 22:367-418

FOS: Computer and inform... Technology Logic prospective reasoning Computer Science - Artif... Theory & Methods …
Academic journal
Save to List
169

On the Configuration of More and Less Expressive Logic Programs
CARMINE DODARO ; MARCO MARATEA ; MAURO VALLATI
Theory and Practice of Logic Programming. 23:415-443

knowledge configuration FOS: Computer and inform... Artificial Intelligence... Computer Science - Artif... SATisfiability 0202 electrical engineer... …
Academic journal
Save to List
170

ValAsp: A Tool for Data Validation in Answer Set Programming
Alviano M. ; Dodaro C. ; Zamayla A.
Theory and Practice of Logic Programming. 23:965-985

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

Aggregate Semantics for Propositional Answer Set Programs
MARIO ALVIANO ; WOLFGANG FABER ; MARTIN GEBSER
Theory and Practice of Logic Programming. 23:157-194

FOS: Computer and inform... aggregate expressions I.2.4 Computer Science - Artif... 68T30 complexity and expressiv... …
Academic journal
Save to List
172

Fast Error Propagation Probability Estimates by Answer Set Programming and Approximate Model Counting
Anselm Breitenreiter ; Marko Andjelkovic ; Oliver Schrape ; et al.
IEEE Access, Vol 10, Pp 51814-51825 (2022)

ddc:000 Institut für Informatik... Answer set programming selective fault toleranc... 0102 computer and inform... 02 engineering and techn... …
Academic journal
Save to List
173

Combining expert-based beliefs and answer sets
Sounchio, Serge Sonfack ; Geneste, Laurent ; Foguem, Bernard Kamsu
Applied Intelligence: The International Journal of Research on Intelligent Systems for Real Life Complex Problems. 53(3):2694-2705

Academic journal
Save to List
174

Epistemic Logic Programs: A Study of Some Properties
Costantini S. ; Formisano A. ; Costantini, S. ; et al.

answer set programming epistemic logic program epistemic splitting
Academic journal
Save to List
175

Historical Review of Variants of Informal Semantics for Logic Programs under Answer Set Semantics: GL’88, GL’91, GK’14, D-V’12
Lierler, Yuliya
Computer Science Faculty Publications

answer set programming logic programming informal semantics Computer Sciences
Academic journal
Save to List
176

Scalable Enumeration of Trap Spaces in Boolean Networks via Answer Set Programming
Trinh Van-Giang ; Benhamou Belaid ; Pastva Samuel ; et al.
Proceedings of the AAAI Conference on Artificial Intelligence

Trap Space Boolean Network Answer Set Programming
Academic journal
Save to List
177

Multi-Shot Answer Set Programming for Flexible Payroll Management
Callewaert, Benjamin ; Vennekens, Joost
ISSN:1471-0684 ; ISSN:1475-3081 ; Theory And Practice Of Logic Programming, vol. 24 (3), (453-481.

Science & Technology Technology Computer Science Software Engineering Theory & Methods Logic …
Academic journal
Save to List
178

Benchmarking Answer Set Programming systems for resource allocation in business processes
Havur, Giray ; Cabanillas, Cristina ; Polleres, Axel
In Expert Systems With Applications 1 November 2022 205

Academic journal
Save to List
179

Revision of Boolean Logical Models of Biological Regulatory Networks using Answer-Set Programming
Aleixo, Frederico Pinto ; Leite, João ; Knorr, Matthias ; et al.

Answer Set Programming (A)Synchronous Dynamics Boolean Logical Models Model Revision Regulatory Networks Stable States …
Save to List
180

A New Approach to Clausification for Intuitionistic Propositional Logic
C. Fiorentini ; M. Ferrari

Intuitionistic Propositi... countermodels constructi... Answer Set Programming
Conference
Save to List
Search Tools: Get RSS Feed Email this Search Save Search

Filter