Sciweavers

25 search results - page 1 / 5

» lpnmr 2005

10

LPNMR
2005
Springer

87views Automated Reasoning» more LPNMR 2005»

Game-Theoretic Reasoning About Actions in Nonmonotonic Causal Theories

13 years 10 months ago

Game-Theoretic Reasoning About Actions in Nonmonotonic Causal Theories

Download www.kr.tuwien.ac.at

Alberto Finzi, Thomas Lukasiewicz

claim paper

Read More »

10

LPNMR
2005
Springer

97views Automated Reasoning» more LPNMR 2005»

Integrating an Answer Set Solver into Prolog: ASP-PROLOG

13 years 10 months ago

Integrating an Answer Set Solver into Prolog: ASP-PROLOG

Download www.cs.nmsu.edu

Omar El-Khatib, Enrico Pontelli, Tran Cao Son

claim paper

Read More »

14

LPNMR
2005
Springer

93views Automated Reasoning» more LPNMR 2005»

On the Local Closed-World Assumption of Data-Sources

13 years 10 months ago

On the Local Closed-World Assumption of Data-Sources

Download people.cs.kuleuven.be

Alvaro Cortés-Calabuig, Marc Denecker, Ofer...

claim paper

Read More »

11

LPNMR
2005
Springer

105views Automated Reasoning» more LPNMR 2005»

Platypus: A Platform for Distributed Answer Set Solving

13 years 10 months ago

Platypus: A Platform for Distributed Answer Set Solving

Download dtai.cs.kuleuven.be

Jean Gressmann, Tomi Janhunen, Robert E. Mercer, T...

claim paper

Read More »

10

LPNMR
2005
Springer

91views Automated Reasoning» more LPNMR 2005»

On Modular Translations and Strong Equivalence

13 years 10 months ago

On Modular Translations and Strong Equivalence

Download userweb.cs.utexas.edu

Given two classes of logic programs, we may be interested in modular translations from one class into the other that are sound wth respect to the answer set semantics. The main the...

Paolo Ferraris

claim paper

Read More »

« Prev « First page 1 / 5 Last » Next »