×

Found 33 Documents (Results 1–33)

Newest Citations Relevance
Eisenhofer, Clemens; Alassaf, Ruba; Rawson, Michael; Kovács, Laura

Non-classical logics in satisfiability modulo theories. (English) Zbl 07850736

Ramanayake, Revantha (ed.) et al., Automated reasoning with analytic tableaux and related methods. 32nd international conference, TABLEAUX 2023, Prague, Czech Republic, September 18–21, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 14278, 24-36 (2023).
MSC:  68V15
Cite Review PDF
Full Text: DOI
OA License
Seylan, İnanç; Erdur, Rıza Cenk

A tableau decision procedure for \(\mathcal{ALC}\) with monotonic modal operators and constant domains. (English) Zbl 1347.68317

Areces, Carlos (ed.) et al., Proceedings of the 5th workshop on methods for modalities (M4M5 2007), Cachan, France, November 29–30, 2007. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 231, 113-130 (2009).
MSC:  68T27 03B35 03B45 68T15
Cite Review PDF
Full Text: DOI
Baader, Franz

Description logics. (English) Zbl 1254.68245

Tessaris, Sergio (ed.) et al., Reasoning web. Semantic technologies for information systems. 5th international summer school 2009, Brixen-Bressanone, Italy, August 30–September 4, 2009. Tutorial lectures. Berlin: Springer (ISBN 978-3-642-03753-5/pbk). Lecture Notes in Computer Science 5689, 1-39 (2009).
MSC:  68T27 68T30
Cite Review PDF
Full Text: DOI
Dao-Tran, Minh; Eiter, Thomas; Krennwallner, Thomas

Realizing default logic over description logic knowledge bases. (English) Zbl 1245.68183

Sossai, Claudio (ed.) et al., Symbolic and quantitative approaches to reasoning with uncertainty. 10th European conference, ECSQARU 2009, Verona, Italy, July 1–3, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-02905-9/pbk). Lecture Notes in Computer Science 5590. Lecture Notes in Artificial Intelligence, 602-613 (2009).
MSC:  68T27 68T30
Cite Review PDF
Full Text: DOI
Lutz, Carsten

The complexity of conjunctive query answering in expressive description logics. (English) Zbl 1165.68503

Armando, Alessandro (ed.) et al., Automated reasoning. 4th international joint conference, IJCAR 2008, Sydney, Australia, August 12–15, 2008 Proceedings. Berlin: Springer (ISBN 978-3-540-71069-1/pbk). Lecture Notes in Computer Science 5195. Lecture Notes in Artificial Intelligence, 179-193 (2008).
MSC:  68T27 68Q17 68Q25
Cite Review PDF
Full Text: DOI
Calì, Andrea; Lukasiewicz, Thomas; Predoiu, Livia; Stuckenschmidt, Heiner

Tightly integrated probabilistic description logic programs for representing ontology mappings. (English) Zbl 1138.68556

Hartmann, Sven (ed.) et al., Foundations of information and knowledge systems. 5th international symposium, FoIKS 2008, Pisa, Italy, February 11–15, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-77683-3/pbk). Lecture Notes in Computer Science 4932, 178-198 (2008).
MSC:  68T27 68T30
Cite Review PDF
Full Text: DOI

Filter Results by …

Document Type

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

Main Field

all top 3

Software