Sciweavers

315 search results - page 43 / 63
» Using Logic in the Generation of Referring Expressions
Sort
View
ATAL
2010
Springer
14 years 10 months ago
Merging example plans into generalized plans for non-deterministic environments
We present a new approach for finding generalized contingent plans with loops and branches in situations where there is uncertainty in state properties and object quantities, but ...
Siddharth Srivastava, Neil Immerman, Shlomo Zilber...
63
Voted
CORR
2010
Springer
103views Education» more  CORR 2010»
14 years 9 months ago
Probabilistic regular graphs
Deterministic graph grammars generate regular graphs, that form a structural extension of configuration graphs of pushdown systems. In this paper, we study a probabilistic extensio...
Nathalie Bertrand, Christophe Morvan
IJAOSE
2010
126views more  IJAOSE 2010»
14 years 6 months ago
Automated analysis of compositional multi-agent systems
An approach for handling the complex dynamics of a multi-agent system is based on distinguishing aggregation levels. The behaviour at a given aggregation level is specified by a se...
Alexei Sharpanskykh, Jan Treur
AAAI
2007
14 years 11 months ago
Equilibria in Heterogeneous Nonmonotonic Multi-Context Systems
We propose a general framework for multi-context reasoning which allows us to combine arbitrary monotonic and nonmonotonic logics. Nonmonotonic bridge rules are used to specify th...
Gerhard Brewka, Thomas Eiter
PPPJ
2006
ACM
15 years 3 months ago
The Project Maxwell assembler system
The JavaTM programming language is primarily used for platform-independent programming. Yet it also offers many productivity, maintainability and performance benefits for platfo...
Bernd Mathiske, Douglas N. Simon, Dave Ungar