3047 search results - page 290 / 610 » On the Meaning of Logical Completeness |
235
click to vote
AAMAS
2011
Springer
15 years 2 months ago
2011
Springer
We present a family of sound and complete logics for reasoning about deliberation strategies for SimpleAPL programs. SimpleAPL is a fragment of the agent programming language 3APL...
280
click to vote
DLOG
2011
14 years 11 months ago
2011
W3C currently extends the SPARQL query language with so-called entailment regimes, which define how queries are evaluated using logical entailment relations. We describe a sound a...
197
click to vote
PRESENCE
2002
15 years 7 months ago
2002
The literature often suggests that proprioceptive and especially vestibular cues are required for navigation and spatial orientation tasks involving rotations of the observer. To ...
167
click to vote
OOPSLA
2007
Springer
16 years 1 months ago
2007
Springer
Accidental mutation is a major source of difficult-to-detect errors in object-oriented programs. We have built tools that detect and prevent such errors. The tools include a java...
177
click to vote
IFIP
2005
Springer
16 years 1 months ago
2005
Springer
We present a method for trust scenarios with more than one trustee, where sets of trustees are ordered in a relation of relative trustworthiness. We show how a priority structure i...