1496 search results - page 142 / 300 » Definability of Initial Segments |
145
click to vote
JURIX
2008
15 years 6 months ago
2008
: There is a growing awareness that the national judge plays a vital role in the European legal system, as is illustrated by the emergence of various initiatives for the cross-bord...
150
click to vote
AAAI
2004
15 years 6 months ago
2004
This paper describes requirements for synthetic adversaries for urban combat training and MOUTBots, a prototype application. The MOUTBots use a commercial computer game to define,...
128
click to vote
DLOG
2006
15 years 6 months ago
2006
We recently proposed action formalisms based on description logics (DLs) as decidable fragments of well-established action theories such as the Situation Calculus and the Fluent C...
138
Voted
ECAI
2010
Springer
15 years 6 months ago
2010
Springer
We introduce First Order ProbLog, an extension of first order logic with soft constraints where formulas are guarded by probabilistic facts. The paper defines a semantics for FOPro...
110
Voted
FSS
2008
15 years 5 months ago
2008
: We define a regularity axiom for lattice-valued convergence spaces where the lattice is a complete Heyting algebra. To this end, we generalize the characterization of regularity ...