• Suche: "Answer Set Programming"

Treffer 1 - 20 von 12.831

1

Implementing Metric Temporal Answer Set Programming
Becker, Arvid ; Cabalar, Pedro ; Diéguez, Martin ; et al.

Artificial Intelligence Logic in Computer Scienc... I.2.8; I.2.4
Report
Merkliste
2

Human Emotion Verification by Action Languages via Answer Set Programming
Brännström, Andreas ; Nieves, Juan Carlos

Artificial Intelligence
Report
Merkliste
3

Formally Explaining Decision Tree Models with Answer Set Programming
Takemura, Akihiro ; Otani, Masayuki ; Inoue, Katsumi
EPTCS 439, 2026, pp. 420-437

Artificial Intelligence Logic in Computer Scienc...
Report
Merkliste
4

Defeasible Conditionals using Answer Set Programming
Dennison, Racquel ; Heyninck, Jesse ; Meyer, Thomas
EPTCS 439, 2026, pp. 206-223

Artificial Intelligence Logic in Computer Scienc...
Report
Merkliste
5

On Zeno-like Behaviors in the Event Calculus with Goal-directed Answer Set Programming
Vašíček, Ondřej ; Arias, Joaquin ; Fiedor, Jan ; et al.
EPTCS 439, 2026, pp. 496-510

Logic in Computer Scienc...
Report
Merkliste
6

xDNN(ASP): Explanation Generation System for Deep Neural Networks powered by Answer Set Programming
Trieu, Ly Ly ; Son, Tran Cao
EPTCS 439, 2026, pp. 438-452

Artificial Intelligence
Report
Merkliste
8

A Solver-in-the-Loop Framework for Improving LLMs on Answer Set Programming for Logic Puzzle Solving
Schrader, Timo Pierre ; Lange, Lukas ; Kaminski, Tobias ; et al.

Artificial Intelligence Computation and Language
Report
Merkliste
9

Logic-Driven Cybersecurity: A Novel Framework for System Log Anomaly Detection using Answer Set Programming
Li, Fang ; Zuo, Fei ; Gupta, Gopal

Cryptography and Securit... Logic in Computer Scienc...
Report
Merkliste
11

Finding Regular Herbrand Models for CHCs using Answer Set Programming
Maire, Gregoire ; Genet, Thomas
EPTCS 434, 2025, pp. 4-9

Logic in Computer Scienc... Formal Languages and Aut... Programming Languages
Report
Merkliste
12

Answer Set Programming Modulo Theories and Reasoning about Continuous Changes
Lee, Joohyung ; Meng, Yunsong

Artificial Intelligence
Report
Merkliste
13

Comparing Non-minimal Semantics for Disjunction in Answer Set Programming
Aguado, Felicidad ; Cabalar, Pedro ; Muñiz, Brais ; et al.
Theory and Practice of Logic Programming 25 (2025) 402-416

Artificial Intelligence
Report
Merkliste
14

Towards Constraint Temporal Answer Set Programming
Cabalar, Pedro ; Diéguez, Martín ; Olivier, François ; et al.
Theory and Practice of Logic Programming 25 (2025) 579-594

Artificial Intelligence Logic in Computer Scienc...
Report
Merkliste
15

Fine-grained Timing Analysis of Digital Integrated Circuits in Answer Set Programming
Bertagnon, Alessandro ; Dalpasso, Marcello ; Favalli, Michele ; et al.
Theory and Practice of Logic Programming 25 (2025) 522-539

Artificial Intelligence Logic in Computer Scienc...
Report
Merkliste
16

Modeling Deontic Modal Logic in the s(CASP) Goal-directed Predicate Answer Set Programming System
Gupta, Gopal ; Rajasekharan, Abhiramon ; Tudor, Alexis R. ; et al.

Artificial Intelligence Logic in Computer Scienc...
Report
Merkliste
17

Anthem 2.0: Automated Reasoning for Answer Set Programming
Fandinno, Jorge ; Glinzer, Christoph ; Hansen, Zachary ; et al.
Theory and Practice of Logic Programming 25 (2025) 668-684

Logic in Computer Scienc... I.2.3
Report
Merkliste
18

Dieses Ergebnis kann Gästen nicht angezeigt werden.

19

A framework for Conditional Reasoning in Answer Set Programming
Alviano, Mario ; Giordano, Laura ; Dupré, Daniele Theseider
EPTCS 439, 2026, pp. 188-201

Artificial Intelligence Logic in Computer Scienc...
Report
Merkliste
20

Interpretable Hybrid Machine Learning Models Using FOLD-R++ and Answer Set Programming
Wielinga, Sanne ; Heyninck, Jesse
EPTCS 439, 2026, pp. 114-127

Artificial Intelligence
Report
Merkliste
Suchwerkzeuge: RSS-Feed abonnieren Diese Suche als E-Mail versenden Suche speichern

Filter