×

Found 76 Documents (Results 1–76)

A tour of Franz Baader’s contributions to knowledge representation and automated deduction. (English) Zbl 1443.68010

Lutz, Carsten (ed.) et al., Description logic, theory combination, and all that. Essays dedicated to Franz Baader on the occasion of his 60th birthday. Cham: Springer. Lect. Notes Comput. Sci. 11560, 1-14 (2019).
PDFBibTeX XMLCite
Full Text: DOI

Description logic, theory combination, and all that. Essays dedicated to Franz Baader on the occasion of his 60th birthday. (English) Zbl 1428.68036

Lecture Notes in Computer Science 11560. Cham: Springer (ISBN 978-3-030-22101-0/pbk; 978-3-030-22102-7/ebook). xiii, 662 p. (2019).
MSC:  68-06 68T27 00B30
PDFBibTeX XMLCite
Full Text: DOI arXiv

Ontology-mediated query answering over temporal data: a survey (invited talk). (English) Zbl 1515.68296

Schewe, Sven (ed.) et al., 24th international symposium on temporal representation and reasoning, TIME 2017, Mons, Belgium, October 16–18, 2017. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 90, Article 1, 37 p. (2017).
PDFBibTeX XMLCite
Full Text: DOI

Inseparability and conservative extensions of description logic ontologies: a survey. (English) Zbl 1358.68282

Pan, Jeff Z. (ed.) et al., Reasoning web. Logical foundation of knowledge graph construction and query answering. 12th international summer school 2016, Aberdeen, UK, September 5–9, 2016. Tutorial lectures. Cham: Springer (ISBN 978-3-319-49492-0/pbk; 978-3-319-49493-7/ebook). Lecture Notes in Computer Science 9885, 27-89 (2017).
MSC:  68T30 68T27 68-02
PDFBibTeX XMLCite
Full Text: DOI arXiv

Automata for ontologies. (English) Zbl 1435.68319

Dediu, Adrian-Horia (ed.) et al., Language and automata theory and applications. 10th international conference, LATA 2016, Prague, Czech Republic, March 14–18, 2016. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9618, 57-60 (2016).
MSC:  68T27 68Q45 68T30
PDFBibTeX XMLCite
Full Text: DOI

On the relationship between consistent query answering and constraint satisfaction problems. (English) Zbl 1365.68214

Arenas, Marcelo (ed.) et al., 18th international conference on database theory, ICDT’15, Brussels, Belgium, March 23–27, 2015. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-79-8). LIPIcs – Leibniz International Proceedings in Informatics 31, 363-379 (2015).
MSC:  68P15 68Q25
PDFBibTeX XMLCite
Full Text: DOI

Decidability of circumscribed description logics revisited. (English) Zbl 1432.68428

Eiter, Thomas (ed.) et al., Advances in knowledge representation, logic programming, and abstract argumentation. Essays dedicated to Gerhard Brewka on the occasion of his 60th birthday. Cham: Springer. Lect. Notes Comput. Sci. 9060, 112-124 (2015).
MSC:  68T27 03B25 68T30
PDFBibTeX XMLCite
Full Text: DOI

Lower and upper approximations for depleting modules of description logic ontologies. (English) Zbl 1366.68304

Schaub, Torsten (ed.) et al., ECAI 2014. 21st European conference on artificial intelligence, Prague, Czech Republic, August 18–22, 2014. Proceedings. Including proceedings of the accompanied concerence on prestigious applications of intelligent systems (PAIS 2014). Amsterdam: IOS Press (ISBN 978-1-61499-418-3/pbk; 978-1-61499-419-0/ebook). Frontiers in Artificial Intelligence and Applications 263, 345-350 (2014).
MSC:  68T30 68T27
PDFBibTeX XMLCite
Full Text: Link

Fundamentals of computation theory. 19th international symposium, FCT 2013, Liverpool, UK, August 19–21, 2013. Proceedings. (English) Zbl 1269.68021

Lecture Notes in Computer Science 8070. Berlin: Springer (ISBN 978-3-642-40163-3/pbk). xi, 318 p. (2013).
MSC:  68-06 68Qxx 00B25
PDFBibTeX XMLCite
Full Text: DOI

Logical difference computation with CEX2.5. (English) Zbl 1358.68258

Gramlich, Bernhard (ed.) et al., Automated reasoning. 6th international joint conference, IJCAR 2012, Manchester, UK, June 26–29, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-31364-6/pbk). Lecture Notes in Computer Science 7364. Lecture Notes in Artificial Intelligence, 371-377 (2012).
MSC:  68T15 68T27 68T30
PDFBibTeX XMLCite
Full Text: DOI

Islands of tractability for relational constraints: towards dichotomy results for the description logic \({\mathcal{EL}}\). (English) Zbl 1252.68275

Beklemishev, Lev (ed.) et al., Advances in modal logic. Vol. 8. Proceedings of the 8th conference (AiML 2010), Moscow, Russia, August 24–27, 2010. London: College Publications (ISBN 978-1-84890-013-4). 271-291 (2010).
MSC:  68T27
PDFBibTeX XMLCite

Enriching \(\mathcal {EL}\)-concepts with greatest fixpoints. (English) Zbl 1211.68408

Coelho, Helder (ed.) et al., ECAI 2010. 19th European conference on artificial intelligence, August 16–20, 2010 Lisbon, Portugal. Including proceedings of the 6th prestigious applications of artificial intelligence (PAIS-2010). Amsterdam: IOS Press (ISBN 978-1-60750-605-8/pbk; 978-1-60750-606-5/ebook). Frontiers in Artificial Intelligence and Applications 215, 41-46 (2010).
MSC:  68T27 68T30
PDFBibTeX XMLCite
Full Text: DOI

Mathematical logic for life science ontologies. (English) Zbl 1246.68211

Ono, Hiroakira (ed.) et al., Logic, language, information and computation. 16th international workshop, WoLLIC 2009, Tokyo, Japan, June 21–24, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-02260-9/pbk). Lecture Notes in Computer Science 5514. Lecture Notes in Artificial Intelligence, 37-47 (2009).
MSC:  68T27 68T30
PDFBibTeX XMLCite
Full Text: DOI

On the computational complexity of spatial logics with connectedness constraints. (English) Zbl 1182.68280

Cervesato, Iliano (ed.) et al., Logic for programming, artificial intelligence, and reasoning. 15th international conference, LPAR 2008, Doha, Qatar, November 22–27, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-89438-4/pbk). Lecture Notes in Computer Science 5330. Lecture Notes in Artificial Intelligence, 574-589 (2008).
MSC:  68T27 68Q25
PDFBibTeX XMLCite
Full Text: DOI

The logical difference problem for description logic terminologies. (English) Zbl 1165.68502

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, 259-274 (2008).
MSC:  68T27
PDFBibTeX XMLCite
Full Text: DOI

Frontiers of combining systems. 6th international symposium, FroCoS 2007, Liverpool, UK, September 10–12, 2007. Proceedings. (English) Zbl 1143.68008

Lecture Notes in Computer Science 4720. Lecture Notes in Artificial Intelligence. Berlin: Springer (ISBN 978-3-540-74620-1/pbk). x, 283 p. (2007).
MSC:  68-06 68Txx 00B25
PDFBibTeX XMLCite
Full Text: DOI

Automated reasoning about metric and topology. (English) Zbl 1152.68523

Fisher, Michael (ed.) et al., Logics in artificial intelligence. 10th European conference, JELIA 2006, Liverpool, UK, September 13–15, 2006. Proceedings. Berlin: Springer (ISBN 978-3-540-39625-3/pbk). Lecture Notes in Computer Science 4160. Lecture Notes in Artificial Intelligence, 490-493 (2006).
MSC:  68T15 03B35
PDFBibTeX XMLCite
Full Text: DOI

Reasoning about actions using description logics with general TBoxes. (English) Zbl 1152.68609

Fisher, Michael (ed.) et al., Logics in artificial intelligence. 10th European conference, JELIA 2006, Liverpool, UK, September 13–15, 2006. Proceedings. Berlin: Springer (ISBN 978-3-540-39625-3/pbk). Lecture Notes in Computer Science 4160. Lecture Notes in Artificial Intelligence, 266-279 (2006).
MSC:  68T27
PDFBibTeX XMLCite
Full Text: DOI

From topology to metric: modal logic and quantification in metric spaces. (English) Zbl 1148.03022

Governatori, Guido (ed.) et al., Advances in modal logic. Vol. 6. Selected papers from the 6th conference (AiML 2006), Noosa, Australia, September 25–28, 2006. London: College Publications (ISBN 1-904987-20-6/pbk). 429-448 (2006).
MSC:  03B45 54E35 68T27
PDFBibTeX XMLCite

Conservative extensions in modal logic. (English) Zbl 1148.03014

Governatori, Guido (ed.) et al., Advances in modal logic. Vol. 6. Selected papers from the 6th conference (AiML 2006), Noosa, Australia, September 25–28, 2006. London: College Publications (ISBN 1-904987-20-6/pbk). 187-207 (2006).
MSC:  03B45 03D15 68Q25
PDFBibTeX XMLCite

Comparative similarity, tree automata, and Diophantine equations. (English) Zbl 1143.68600

Sutcliffe, Geoff (ed.) et al., Logic for programming, artificial intelligence, and reasoning. 12th international conference, LPAR 2005, Montego Bay, Jamaica, December 2–6, 2005. Proceedings. Berlin: Springer (ISBN 978-3-540-30553-8/pbk). Lecture Notes in Computer Science 3835, 651-665 (2005).
PDFBibTeX XMLCite
Full Text: DOI

Temporal logics over transitive states. (English) Zbl 1135.03333

Nieuwenhuis, Robert (ed.), Automated deduction – CADE-20. 20th international conference on automated deduction, Tallinn, Estonia, July 22–27, 2005. Proceedings. Berlin: Springer (ISBN 3-540-28005-7/pbk). Lecture Notes in Computer Science 3632. Lecture Notes in Artificial Intelligence, 182-203 (2005).
MSC:  03B44 68Q60
PDFBibTeX XMLCite
Full Text: DOI

A tableau algorithm for reasoning about concepts and similarity. (English) Zbl 1274.68411

Cialdea Mayer, Marta (ed.) et al., Automated reasoning with analytic tableaux and related methods. International conference TABLEAUX 2003, Rome, Italy, September 9–12, 2003. Proceedings. Berlin: Springer (ISBN 3-540-40787-1/pbk). Lect. Notes Comput. Sci. 2796, 134-149 (2003).
MSC:  68T15 03B35 68T27 68T30
PDFBibTeX XMLCite
Full Text: DOI

From tableaux to automata for description logics. (English) Zbl 1273.03095

Vardi, Moshe Y. (ed.) et al., Logic for programming, artificial intelligence, and reasoning. 10th international conference, LPAR 2003, Almaty, Kazakhstan, September 22–26, 2003. Proceedings. Berlin: Springer (ISBN 3-540-20101-7/pbk). Lect. Notes Comput. Sci. 2850, 1-32 (2003).
MSC:  03B70 03B35 03D05 68T15 68T27 68T30
PDFBibTeX XMLCite

Many-dimensional modal logics: theory and applications. (English) Zbl 1051.03001

Studies in Logic and the Foundations of Mathematics 148. Amsterdam: Elsevier (ISBN 0-444-50826-0/hbk). xviii, 747 p. (2003).
PDFBibTeX XMLCite

A temporal description logic for reasoning over conceptual schemas and queries. (English) Zbl 1013.03027

Flesca, Sergio (ed.) et al., Logics in artificial intelligence. 8th European conference, JELIA 2002, Cosenza, Italy, September 23-26, 2002. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2424, 98-110 (2002).
MSC:  03B70 68T27 03B44
PDFBibTeX XMLCite
Full Text: Link

Monodic fragments of first-order temporal logics: 2000–2001 A.D. (English) Zbl 1275.03088

Nieuwenhuis, Robert (ed.) et al., Logic for programming, artificial intelligence, and reasoning. 8th international conference, LPAR 2001, Havana, Cuba, December 3–7, 2001. Proceedings. Berlin: Springer (ISBN 3-540-42957-3/pbk). Lecture Notes in Computer Science 2250. Lecture Notes in Artificial Intelligence, 1-23 (2001).
PDFBibTeX XMLCite
Full Text: DOI

Tableaux for temporal description logic with constant domains. (English) Zbl 0988.68178

Goré, Rajeev (ed.) et al., Automated reasoning. 1st international joint conference, IJCAR 2001, Siena, Italy, June 18-22, 2001. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2083, 121-136 (2001).
PDFBibTeX XMLCite
Full Text: Link

Dynamic description logics. (English) Zbl 0993.03043

Zakharyaschev, Michael (ed.) et al., Advances in modal logic. Vol. 2. Selected papers from the 2nd international workshop (AiML’98), Uppsala, Sweden, October 16-18, 1998. Stanford, CA: CSLI Publications. CSLI Lect. Notes. 119, 431-445 (2001).
PDFBibTeX XMLCite

Semi-qualitative reasoning about distances: A preliminary report. (English) Zbl 0998.68157

Ojeda-Aciego, Manuel (ed.) et al., Logics in artificial intelligence. European workshop, JELIA 2000, Málaga, Spain, September 29-October 2, 2000. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1919, 37-56 (2000).
MSC:  68T27
PDFBibTeX XMLCite

Filter Results by …

Document Type

all top 5

Year of Publication

all top 3

Main Field

Biographic Reference

all top 3

Software