725 search results - page 40 / 145 » Complexity of Computing with Extended Propositional Logic Pr... |
134
click to vote
ICALP
2010
Springer
15 years 7 months ago
2010
Springer
We investigate the parameterized computational complexity of the satisfiability problem for modal logic and attempt to pinpoint relevant structural parameters which cause the probl...
150
click to vote
FOSSACS
1999
Springer
15 years 10 months ago
1999
Springer
Abstract. A strong (L) logic programming language ([14, 15]) is given by two subclasses of formulas (programs and goals) of the underlying logic L, provided that: firstly, any pro...
154
click to vote
ATAL
2006
Springer
15 years 9 months ago
2006
Springer
There is a recent trend of extending epistemic logic (EL) with dynamic operators that allow to express the evolution of knowledge and induced by knowledge-changing actions. The mo...
215
click to vote
APSCC
2010
IEEE
15 years 4 months ago
2010
IEEE
Software as a service (SaaS) is an emerging software framework in which business data and logic typically integrate with other applications. It requires a unified subscriber to des...
208
click to vote
AMAI
1999
Springer
15 years 5 months ago
1999
Springer
Logic programming with the stable model semantics is put forward as a novel constraint programming paradigm. This paradigm is interesting because it bring advantages of logic prog...