2022 search results - page 81 / 405 » Complexity of Non-Monotonic Logics |
102
Voted
JMLR
2010
14 years 7 months ago
2010
Logic-based probabilistic models (LBPMs) enable us to handle problems with uncertainty succinctly thanks to the expressive power of logic. However, most of LBPMs have restrictions...
150
Voted
HAIS
2011
Springer
14 years 4 months ago
2011
Springer
The modelling of real-world complex systems is an area of ongoing interest for the research community. Real-world systems present a variety of challenges not least of which is the ...
122
Voted
FOSSACS
2010
Springer
15 years 7 months ago
2010
Springer
This paper presents a range of quantitative extensions for the temporal logic CTL. We enhance temporal modalities with the ability to constrain the number of states satisfying cert...
83
Voted
ADBIS
2005
Springer
15 years 6 months ago
2005
Springer
We present a query language called MDatalog, which is an extension of Datalog for multimodal deductive databases. We define modal relational algebras and give the seminaive evalua...
74
Voted
ECAI
2008
Springer
15 years 2 months ago
2008
Springer
This paper presents advances in Set Attributive Logic and its application to develop tabular rule-based systems within the XTT framework. The primary goal is to extend the expressi...