Sciweavers

1426 search results - page 31 / 286
» Specification of nonmonotonic reasoning
Sort
View
AIPS
2004
14 years 11 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
33
Voted
JOT
2006
46views more  JOT 2006»
14 years 9 months ago
Reasoning About Method Calls in Interface Specifications
Ádám Darvas, Peter Müller
JOT
2002
112views more  JOT 2002»
14 years 9 months ago
BON-CASE: An Extensible CASE Tool for Formal Specification and Reasoning
Richard F. Paige, Liliya Kaminskaya, Jonathan S. O...
87
Voted
CL
2000
Springer
15 years 2 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ú...