307 search results - page 36 / 62 » Reasoning with Axioms: Theory and Practice |
116
click to vote
SEFM
2006
IEEE
15 years 7 months ago
2006
IEEE
We define a model of labelled product systems of automata and explore its connections with process calculi and trace languages. Bisimilarity of labelled product systems is defin...
120
click to vote
JELIA
2010
Springer
14 years 11 months ago
2010
Springer
Stable belief sets were introduced by R. Stalnaker in the early ’80s, as a formal representation of the epistemic state for an ideal introspective agent. This notion motivated M...
123
click to vote
EON
2008
15 years 2 months ago
2008
One of the arguments for choosing description logics as the basis for the Web Ontology Language is the ability to support the development of complex ontologies through logical reas...
107
click to vote
IJCAI
2003
15 years 2 months ago
2003
There has been significant recent progress in reasoning and constraint processing methods. In areas such as planning and finite model-checking, current solution techniques can h...
110
click to vote
LPAR
2010
Springer
14 years 11 months ago
2010
Springer
In automated synthesis, we transform a specification into a system that is guaranteed to satisfy the specification. In spite of the rich theory developed for temporal synthesis, l...