1486 search results - page 104 / 298 » A Logically Saturated Extension of |
159
click to vote
JAPLL
2010
15 years 4 months ago
2010
Two currently active strands of research on logics for multi-agent systems are dynamic epistemic logic, focusing on the epistemic consequences of actions, and logics of coalitiona...
167
click to vote
SEMWEB
2009
Springer
16 years 12 days ago
2009
Springer
Probabilistic Description Logics are the basis of ontologies in the Semantic Web. Knowledge representation and reasoning for these logics have been extensively explored in the last...
151
click to vote
IJCNN
2008
IEEE
16 years 8 days ago
2008
IEEE
—Modeling of complex phenomena such as the mind presents tremendous computational complexity challenges. The neural modeling fields theory (NMF) addresses these challenges in a n...
154
click to vote
LFCS
2007
Springer
16 years 2 hour ago
2007
Springer
Density elimination by substitutions is introduced as a uniform method for removing applications of the Takeuti-Titani density rule from proofs in firstorder hypersequent calculi....
125
Voted
CONCUR
2005
Springer
15 years 11 months ago
2005
Springer
In this paper we use the timed modal logic Lν to specify control objectives for timed plants. We show that the control problem for a large class of objectives can be reduced to a ...