Sciweavers
Explore
Publications
Books
Software
Tutorials
Presentations
Lectures Notes
Datasets
Labs
Conferences
Community
Upcoming
Conferences
Top Ranked Papers
Most Viewed Conferences
Conferences by Acronym
Conferences by Subject
Conferences by Year
Tools
Sci2ools
International Keyboard
Graphical Social Symbols
CSS3 Style Generator
OCR
Web Page to Image
Web Page to PDF
Merge PDF
Split PDF
Latex Equation Editor
Extract Images from PDF
Convert JPEG to PS
Convert Latex to Word
Convert Word to PDF
Image Converter
PDF Converter
Community
Sciweavers
About
Terms of Use
Privacy Policy
Cookies
25
search results - page 1 / 5
»
lpnmr 2005
Sort
relevance
views
votes
recent
update
View
thumb
title
21
click to vote
LPNMR
2005
Springer
87
views
Automated Reasoning
»
more
LPNMR 2005
»
Game-Theoretic Reasoning About Actions in Nonmonotonic Causal Theories
14 years 2 months ago
Download
www.kr.tuwien.ac.at
Alberto Finzi, Thomas Lukasiewicz
claim paper
Read More »
24
click to vote
LPNMR
2005
Springer
97
views
Automated Reasoning
»
more
LPNMR 2005
»
Integrating an Answer Set Solver into Prolog: ASP-PROLOG
14 years 2 months ago
Download
www.cs.nmsu.edu
Omar El-Khatib, Enrico Pontelli, Tran Cao Son
claim paper
Read More »
24
click to vote
LPNMR
2005
Springer
93
views
Automated Reasoning
»
more
LPNMR 2005
»
On the Local Closed-World Assumption of Data-Sources
14 years 2 months ago
Download
people.cs.kuleuven.be
Alvaro Cortés-Calabuig, Marc Denecker, Ofer...
claim paper
Read More »
24
click to vote
LPNMR
2005
Springer
105
views
Automated Reasoning
»
more
LPNMR 2005
»
Platypus: A Platform for Distributed Answer Set Solving
14 years 2 months ago
Download
dtai.cs.kuleuven.be
Jean Gressmann, Tomi Janhunen, Robert E. Mercer, T...
claim paper
Read More »
26
click to vote
LPNMR
2005
Springer
91
views
Automated Reasoning
»
more
LPNMR 2005
»
On Modular Translations and Strong Equivalence
14 years 2 months ago
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 »