3005 search results - page 116 / 601 » Logical Information Systems: from Taxonomies to Logics |
199
click to vote
TABLEAUX
2009
Springer
16 years 29 days ago
2009
Springer
Abstract. The management of qualitative spatial information is an important research area in computer science and AI. Modal logic provides a natural framework for the formalization...
166
click to vote
ASIAN
1999
Springer
15 years 10 months ago
1999
Springer
Unfold/fold transformation systems for logic programs have been extensively investigated. Existing unfold/fold transformation systems for normal logic programs allow only Tamaki-Sa...
191
click to vote
SAC
2004
ACM
15 years 12 months ago
2004
ACM
Software applications often contain implicit knowledge in addition to functionality which is inherently object-oriented. Many approaches and systems exist that focus on separating...
188
click to vote
FORMATS
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. We consider temporal logic formulae specifying constraints in continuous time and space on the behaviors of continuous and hybrid dynamical system admitting uncertain par...
203
click to vote
AMAST
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. We develop an algebraic modal logic that combines epistemic and dynamic modalities with a view to modelling information acquisition (learning) by automated agents in a ch...