624 search results - page 38 / 125 » Reasoning with Expressive Description Logics: Theory and Pra... |
108
click to vote
ATAL
2010
Springer
15 years 2 months ago
2010
Springer
We present the logic CTL.STIT, which is the join of the logic CTL with a multi-agent strategic stit-logic variant. CTL.STIT subsumes ATL, and adds expressivity to it that we claim...
102
click to vote
PPDP
2010
Springer
14 years 11 months ago
2010
Springer
Permissive-Nominal Logic (PNL) is an extension of firstorder logic where term-formers can bind names in their arguments. This allows for direct axiomatisations with binders, such...
137
click to vote
KR
2010
Springer
15 years 6 months ago
2010
Springer
We propose a new family of probabilistic description logics (DLs) that, in contrast to most existing approaches, are derived in a principled way from Halpern’s probabilistic fi...
111
click to vote
FAABS
2000
Springer
15 years 4 months ago
2000
Springer
This paper discusses automated reasoning in the KARO framework. The KARO framework accommodates a range of expressive modal logics for describing the behaviour of intelligent agent...
141
click to vote
WWW
2008
ACM
16 years 1 months ago
2008
ACM
Inferring an appropriate DTD or XML Schema Definition (XSD) for a given collection of XML documents essentially reduces to learning deterministic regular expressions from sets of ...