1814 search results - page 120 / 363 » Extended First-Order Logic |
135
click to vote
AIM
2005
15 years 3 months ago
2005
This paper surveys previous work on combining planning techniques with expressive representations of knowledge in description logics to reason about tasks, plans, and goals. Descr...
128
click to vote
APIN
1999
15 years 3 months ago
1999
The Connectionist Inductive Learning and Logic Programming System, C-IL 2 P, integrates the symbolic and connectionist paradigms of Artificial Intelligence through neural networks...
138
click to vote
FUIN
2010
15 years 22 days ago
2010
We study an extension of monadic second-order logic of order with the uncountability quantifier "there exist uncountably many sets". We prove that, over the class of fini...
131
click to vote
CORR
2011
Springer
14 years 10 months ago
2011
Springer
There are numerous applications where we have to deal with temporal uncertainty associated with events. The Temporal Probabilistic (TP) Logic Programs should provide support for v...
171
click to vote
ICLA
2011
Springer
14 years 6 months ago
2011
Springer
We propose a probabilistic interpretation of Propositional Dynamic Logic (PDL). We show that logical and behavioral equivalence are equivalent over general measurable spaces. This...