Sciweavers

13 search results - page 1 / 3
» lpar 2001
Sort
View
LPAR
2001
Springer
15 years 10 months ago
How to Transform an Analyzer into a Verifier
Marco Comini, Roberta Gori, Giorgio Levi
LPAR
2001
Springer
15 years 10 months ago
Functional Logic Programming with Failure: A Set-Oriented View
Francisco Javier López-Fraguas, Jaime S&aac...
LPAR
2001
Springer
15 years 10 months ago
Reasoning about Evolving Nonmonotonic Knowledge Bases
Thomas Eiter, Michael Fink, Giuliana Sabbatini, Ha...
LPAR
2001
Springer
15 years 10 months ago
Efficient Negation Using Abstract Interpretation
Susana Muñoz-Hernández, Juan Jos&eac...
158
Voted
LPAR
2001
Springer
15 years 10 months ago
Logical Omniscience and the Cost of Deliberation
Logical omniscience is a well known problem which makes traditional modal logics of knowledge, belief and intentions somewhat unrealistic from the point of view of modelling the be...
Natasha Alechina, Brian Logan