Sciweavers

1426 search results - page 31 / 286
» Specification of nonmonotonic reasoning
Sort
View
AIPS
2004
15 years 1 months ago
Domain-Specific Preferences for Causal Reasoning and Planning
We address the issue of incorporating domain-specific preferences in planning systems, where a preference may be seen as a "soft" constraint that it is desirable, but no...
James P. Delgrande, Torsten Schaub, Hans Tompits
JOT
2006
46views more  JOT 2006»
14 years 11 months ago
Reasoning About Method Calls in Interface Specifications
Ádám Darvas, Peter Müller
JOT
2002
112views more  JOT 2002»
14 years 11 months ago
BON-CASE: An Extensible CASE Tool for Formal Specification and Reasoning
Richard F. Paige, Liliya Kaminskaya, Jonathan S. O...
CL
2000
Springer
15 years 4 months ago
Multi-dimensional Dynamic Logic Programming
This paper explores the applicability of the new paradigm of Multi-dimensional Dynamic Logic Programming to represent an agent’s view of the combination of societal knowledge dyn...
João Alexandre Leite, José Jú...