Sciweavers

1587 search results - page 136 / 318
» The Semantics of Extended SOFL
Sort
View
AIPS
1996
13 years 10 months ago
Expressive Planning and Explicit Knowledge
Weare concerned with the implications and interactions of three commonexpressive extensions to classical planning: conditional plans, context-dependent actions, and nondeterminist...
Robert P. Goldman, Mark S. Boddy
AML
2010
118views more  AML 2010»
13 years 9 months ago
The modal logic of continuous functions on the rational numbers
Let L be a propositional language with standard Boolean connectives plus two modalities: an S4-ish topological modality and a temporal modality , understood as `next'. We ext...
Philip Kremer
AMAI
2006
Springer
13 years 9 months ago
Possibilistic uncertainty handling for answer set programming
In this work, we introduce a new framework able to deal with a reasoning that is at the same time non monotonic and uncertain. In order to take into account a certainty level assoc...
Pascal Nicolas, Laurent Garcia, Igor Stépha...
AML
2006
87views more  AML 2006»
13 years 9 months ago
The modal logic of continuous functions on cantor space
Abstract Let L be a propositional language with standard Boolean connectives plus two modalities: an S4-ish topological modality and a temporal modality , understood as `next'...
Philip Kremer
COGSCI
2002
108views more  COGSCI 2002»
13 years 9 months ago
Statistical models for the induction and use of selectional preferences
Selectional preferences have a long history in both generative and computational linguistics. However, since the publication of Resnik's dissertation in 1993, a new approach ...
Marc Light, Warren R. Greiff