Result 1 to 20 of 90 total
Embedding-based approaches to paraconsistent and temporal description logics. (English)
J. Log. Comput. 22, No. 5, 1097-1124 (2012).
1
Reasoning about time-dependent multi-agents: foundations of theorem proving and model checking. (English)
Nguyen, Ngoc Thanh (ed.), Transactions on Computational Collective Intelligence VI. Berlin: Springer (ISBN 978-3-642-29355-9/pbk). Lecture Notes in Computer Science 7190. Journal Subline, 181-201 (2012).
2
Proof theory of Nelson’s paraconsistent logic: a uniform perspective. (English)
Theor. Comput. Sci. 415, 1-38 (2012).
3
Bounded linear-time temporal logic: a proof-theoretic investigation. (English)
Ann. Pure Appl. Logic 163, No. 4, 439-466 (2012).
4
Paraconsistent computation tree logic. (English)
New Generation Comput. 29, No. 4, 391-408 (2011).
5
Cut-elimination and completeness in dynamic topological and linear-time temporal logics. (English)
Log. Anal., Nouv. Sér. 54, No. 215, 379-394 (2011).
6
The logic of sequences. (English)
Rep. Math. Logic 46, 29-57 (2011).
7
Paraconsistent semantics for description logics: a comparison. (English)
König, Andreas (ed.) et al., Knowledge-based and intelligent information and engineering systems. 15th international conference, KES 2011, Kaiserslautern, Germany, September 12‒14, 2011. Proceedings, Part I. Berlin: Springer (ISBN 978-3-642-23850-5/pbk). Lecture Notes in Computer Science 6881. Lecture Notes in Artificial Intelligence, 599-608 (2011).
8
Synchronized linear-time temporal logic. (English)
Stud. Log. 99, No. 1-3, 365-388 (2011).
9
Interpolation theorems for some extended description logics. (English)
König, Andreas (ed.) et al., Knowlege-based and intelligent information and engineering systems. 15th international conference, KES 2011, Kaiserslautern, Germany, September 12‒14, 2011. Proceedings, Part II. Berlin: Springer (ISBN 978-3-642-23862-8/pbk). Lecture Notes in Computer Science 6882. Lecture Notes in Artificial Intelligence, 246-255 (2011).
10
A decidable first-order logic for medical reasoning. (English)
König, Andreas (ed.) et al., Knowlege-based and intelligent information and engineering systems. 15th international conference, KES 2011, Kaiserslautern, Germany, September 12‒14, 2011. Proceedings, Part II. Berlin: Springer (ISBN 978-3-642-23862-8/pbk). Lecture Notes in Computer Science 6882. Lecture Notes in Artificial Intelligence, 235-245 (2011).
11
On temporal Gödel-Gentzen translation. (English)
König, Andreas (ed.) et al., Knowlege-based and intelligent information and engineering systems. 15th international conference, KES 2011, Kaiserslautern, Germany, September 12‒14, 2011. Proceedings, Part II. Berlin: Springer (ISBN 978-3-642-23862-8/pbk). Lecture Notes in Computer Science 6882. Lecture Notes in Artificial Intelligence, 225-234 (2011).
12
Notes on Craig interpolation for LJ with strong negation. (English)
Math. Log. Q. 57, No. 4, 395-399 (2011).
13
Completeness and cut-elimination theorems for trilattice logics. (English)
Ann. Pure Appl. Logic 162, No. 10, 816-835 (2011).
14
A paraconsistent linear-time temporal logic. (English)
Fundam. Inform. 106, No. 1, 1-23 (2011).
15
Phase semantics for linear-time formalism. (English)
Log. J. IGPL 19, No. 1, 121-143 (2011).
16
Paraconsistent computation tree logic (English)
New Generation Comput. 29, No. 4, 391-408 (2011).
17
A decidable first-order logic for medical reasoning (English)
KES (2), 235-245 (2011).
18
Paraconsistent semantics for description logics: A comparison (English)
KES (1), 599-608 (2011).
19
Interpolation theorems for some extended description logics (English)
KES (2), 246-255 (2011).
20
Result 1 to 20 of 90 total
Start
Contact
Print
General Help
