Found 12 Documents (Results 1–12)
Bounded model checking for the existential fragment of \(\mathrm{TCTL}_{-G}\) and diagonal timed automata. (English) Zbl 1124.68060
MSC:
68Q60
Predicate introduction for logics with a fixpoint semantics. II: Autoepistemic logic. (English) Zbl 1123.03016
Predicate introduction for logics with a fixpoint semantics. I: Logic programming. (English) Zbl 1123.03015
Optimal proof systems, optimal acceptors and recursive presentability. (English) Zbl 1127.03043
Reviewer: Emil Jeřábek (Praha)
Composition theorem for generalized sum. (English) Zbl 1124.03013
Reviewer: Victor V. Pambuccian (Dortmund)
A propositional proof system with quantification over permutations. (English) Zbl 1125.03042
Reviewer: Emil Jeřábek (Praha)
MSC:
03F20
A logic-based approach to finding explanations for discrepancies in optimistic plan execution. (English) Zbl 1124.68106
An algebraic characterization of the halting probability. (English) Zbl 1129.03023
Reviewer: Cristian S. Calude (Auckland)
Filter Results by …
all
top 5
Author
- Denecker, Marc (2)
- Mariën, Maarten (2)
- Vennekens, Joost (2)
- Wittocx, Johan (2)
- Bell, Paul C. (1)
- Chaitin, Gregory John (1)
- Eiter, Thomas (1)
- Erdem, Esra (1)
- Faber, Wolfgang (1)
- Herman, Grzegorz (1)
- Kolany, Adam (1)
- Nguyen, Linh Anh (1)
- Paterson, Tim (1)
- Rabinovich, Alexander (1)
- Sadowski, Zenon (1)
- Senko, Ján (1)
- Soltys, Michael (1)
- Wang, Yingluo (1)
- Woźna, Bożena (1)
- Zbrzezny, Andrzej (1)
- Zhang, Weiguo (1)