×

Found 228 Documents (Results 1–100)

Representation formulas and far-field behavior of time-periodic incompressible viscous flow around a translating rigid body. arXiv:2402.12213

Preprint, arXiv:2402.12213 [math.AP] (2024).
BibTeX Cite
Full Text: arXiv

Prolog: the next 50 years. (English) Zbl 1517.68030

Lecture Notes in Computer Science 13900. Lecture Notes in Artificial Intelligence. Cham: Springer (ISBN 978-3-031-35253-9/pbk; 978-3-031-35254-6/ebook). xvi, 394 p. (2023).
PDFBibTeX XMLCite
Full Text: DOI

A qualitative temporal extension of here-and-there logic. (English) Zbl 07671886

Gottlob, Georg (ed.) et al., Logic programming and nonmonotonic reasoning. 16th international conference, LPNMR 2022, Genova, Italy, September 5–9, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13416, 159-176 (2022).
MSC:  68N17 68T27
PDFBibTeX XMLCite
Full Text: DOI

Weighted Lars for quantitative stream reasoning. (English) Zbl 1464.68356

De Giacomo, Giuseppe (ed.) et al., ECAI 2020. 24th European conference on artificial intelligence, August 29 – September 8, 2020, Santiago de Compostela, Spain. Including 10th conference on prestigious applications of artificial intelligence, PAIS 2020. Amsterdam: IOS Press. Front. Artif. Intell. Appl. 325, 729-736 (2020).
PDFBibTeX XMLCite
Full Text: DOI

Existence and spatial decay of periodic Navier-Stokes flows in exterior domains. (English) Zbl 1434.76001

Berlin: Logos Verlag; Darmstadt: TU Darmstadt, Fachbereich Mathematik (Diss.) (ISBN 978-3-8325-5108-7/pbk). x, 197 p. (2020).
PDFBibTeX XMLCite

Reasoning with justifiable exceptions in \(\mathcal{EL}_\bot\) contextualized knowledge repositories. (English) Zbl 1443.68181

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, 110-134 (2019).
MSC:  68T30 68N17 68T27
PDFBibTeX XMLCite
Full Text: DOI

Abstraction for non-ground answer set programs. (English) Zbl 1525.68178

Calimeri, Francesco (ed.) et al., Logics in artificial intelligence. 16th European conference, JELIA 2019, Rende, Italy, May 7–11, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11468, 576-592 (2019).
MSC:  68T27 68N17 68T30
PDFBibTeX XMLCite
Full Text: DOI Link

Pruning external minimality checking for ASP using semantic dependencies. (English) Zbl 1522.68537

Balduccini, Marcello (ed.) et al., Logic programming and nonmonotonic reasoning. 15th international conference, LPNMR 2019, Philadelphia, PA, USA, June 3–7, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11481, 326-339 (2019).
MSC:  68T30 68N17
PDFBibTeX XMLCite
Full Text: DOI Link

LARS: a logic-based framework for analytic reasoning over streams (extended abstract). (English) Zbl 1448.68396

Tjoa, A Min (ed.) et al., SOFSEM 2018: theory and practice of computer science. 44th international conference on current trends in theory and practice of computer science, Krems, Austria, January 29 – February 2, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10706, 87-93 (2018).
MSC:  68T27 68N17 68P15
PDFBibTeX XMLCite
Full Text: DOI

Answer set programming with external source access. (English) Zbl 1491.68191

Ianni, Giovambattista (ed.) et al., Reasoning web. Semantic interoperability on the web. 13th international summer school 2017, London, UK, July 7–11, 2017. Tutorial lectures. Cham: Springer. Lect. Notes Comput. Sci. 10370, 204-275 (2017).
MSC:  68T20 68N17 68T30
PDFBibTeX XMLCite
Full Text: DOI Link

LPAR-21. 21st international conference on logic for programming, artificial intelligence and reasoning, Maun, Botswana, May 8–12, 2017. Selected papers. (English) Zbl 1398.68026

EPiC Series in Computing 46. Manchester: EasyChair. 522 p., open access (2017).
PDFBibTeX XMLCite
Full Text: Link

Time-periodic linearized Navier-Stokes equations: an approach based on Fourier multipliers. (English) Zbl 1387.35450

Bodnár, Tomáš (ed.) et al., Particles in flows. Based on the summer course and workshop, Prague, Czech Republic, August 2014. Cham: Birkhäuser/Springer (ISBN 978-3-319-60281-3/hbk; 978-3-319-60282-0/ebook). Advances in Mathematical Fluid Mechanics, 77-137 (2017).
PDFBibTeX XMLCite
Full Text: DOI

Reasoning web. Logical foundation of knowledge graph construction and query answering. 12th international summer school 2016, Aberdeen, UK, September 5–9, 2016. Tutorial lectures. (English) Zbl 1358.68016

Lecture Notes in Computer Science 9885. Cham: Springer (ISBN 978-3-319-49492-0/pbk; 978-3-319-49493-7/ebook). xiv, 259 p. (2017).
PDFBibTeX XMLCite
Full Text: DOI

Rule-based stream reasoning for intelligent administration of content-centric networks. (English) Zbl 1483.68021

Michael, Loizos (ed.) et al., Logics in artificial intelligence. 15th European conference, JELIA 2016, Larnaca, Cyprus, November 9–11, 2016. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10021, 522-528 (2016).
MSC:  68M11 68N17
PDFBibTeX XMLCite
Full Text: DOI

Reactive policies with planning for action languages. (English) Zbl 1483.68424

Michael, Loizos (ed.) et al., Logics in artificial intelligence. 15th European conference, JELIA 2016, Larnaca, Cyprus, November 9–11, 2016. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10021, 463-480 (2016).
MSC:  68T42 68T27
PDFBibTeX XMLCite
Full Text: DOI arXiv

Exploiting contextual knowledge for hybrid classification of visual objects. (English) Zbl 1483.68429

Michael, Loizos (ed.) et al., Logics in artificial intelligence. 15th European conference, JELIA 2016, Larnaca, Cyprus, November 9–11, 2016. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10021, 223-239 (2016).
MSC:  68T45 68T30
PDFBibTeX XMLCite
Full Text: DOI Link

Technical communications of the 31st international conference on logic programming, ICLP 2015, Cork, Ireland, August 31 – September 4, 2015. (English) Zbl 1407.68028

CEUR Workshop Proceedings 1433. Aachen: RWTH Aachen. 30 articles, not consecutively paged; electronic only, open access (2015).
MSC:  68-06 68N17 00B25
PDFBibTeX XMLCite
Full Text: Link Link

Reasoning with forest logic programs using fully enriched automata. (English) Zbl 1467.68172

Calimeri, Francesco (ed.) et al., Logic programming and nonmonotonic reasoning. 13th international conference, LPNMR 2015, Lexington, KY, USA, September 27–30, 2015. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9345, 346-353 (2015).
PDFBibTeX XMLCite
Full Text: DOI

Linking open-world knowledge bases using nonmonotonic rules. (English) Zbl 1467.68177

Calimeri, Francesco (ed.) et al., Logic programming and nonmonotonic reasoning. 13th international conference, LPNMR 2015, Lexington, KY, USA, September 27–30, 2015. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9345, 294-308 (2015).
MSC:  68T30 68T27
PDFBibTeX XMLCite
Full Text: DOI

Preference-based diagnosis selection in multi-context systems. (English) Zbl 1432.68438

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, 233-248 (2015).
MSC:  68T27 68T30
PDFBibTeX XMLCite
Full Text: DOI

A glimpse on Gerhard Brewka’s contributions to artificial intelligence. (English) Zbl 1432.68003

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, 1-16 (2015).
PDFBibTeX XMLCite
Full Text: DOI

Advances in knowledge representation, logic programming, and abstract argumentation. Essays dedicated to Gerhard Brewka on the occasion of his 60th birthday. (English) Zbl 1303.68014

Lecture Notes in Computer Science 9060. Lecture Notes in Artificial Intelligence. Cham: Springer (ISBN 978-3-319-14725-3/pbk). xiv, 361 p. (2015).
PDFBibTeX XMLCite
Full Text: DOI

Towards practical deletion repair of inconsistent DL-programs. (English) Zbl 1366.68303

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, 285-290 (2014).
MSC:  68T30 68N17 68T27
PDFBibTeX XMLCite
Full Text: Link

Computing repairs for inconsistent DL-programs over \(\mathcal{EL}\) ontologies. (English) Zbl 1432.68437

Fermé, Eduardo (ed.) et al., Logics in artificial intelligence. 14th European conference, JELIA 2014, Funchal, Madeira, Portugal, September 24–26, 2014. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 8761, 426-441 (2014).
MSC:  68T27 68N17 68T30
PDFBibTeX XMLCite
Full Text: DOI

Hex semantics via approximation fixpoint theory. (English) Zbl 1405.68039

Cabalar, Pedro (ed.) et al., Logic programming and nonmonotonic reasoning. 12th international conference, LPNMR 2013, Corunna, Spain, September 15–19, 2013. Proceedings. Berlin: Springer (ISBN 978-3-642-40563-1/pbk). Lecture Notes in Computer Science 8148. Lecture Notes in Artificial Intelligence, 102-115 (2013).
MSC:  68N17 68Q55
PDFBibTeX XMLCite
Full Text: DOI

Exploiting unfounded sets for HEX-program evaluation. (English) Zbl 1361.68030

Fariñas del Cerro, Luis (ed.) et al., Logics in artificial intelligence. 13th European conference, JELIA 2012, Toulouse, France, September 26–28, 2012. Proceeding. Berlin: Springer (ISBN 978-3-642-33352-1/pbk). Lecture Notes in Computer Science 7519. Lecture Notes in Artificial Intelligence, 160-175 (2012).
MSC:  68N17
PDFBibTeX XMLCite
Full Text: DOI

Inconsistency management for traffic regulations: formalization and complexity results. (English) Zbl 1361.68220

Fariñas del Cerro, Luis (ed.) et al., Logics in artificial intelligence. 13th European conference, JELIA 2012, Toulouse, France, September 26–28, 2012. Proceeding. Berlin: Springer (ISBN 978-3-642-33352-1/pbk). Lecture Notes in Computer Science 7519. Lecture Notes in Artificial Intelligence, 80-93 (2012).
MSC:  68T27 90B20
PDFBibTeX XMLCite
Full Text: DOI

Reasoning web. Semantic technologies for advanced query answering. 8th international summer school 2012, Vienna, Austria, September 3–8, 2012. Proceedings. (English) Zbl 1250.68026

Lecture Notes in Computer Science 7487. Berlin: Springer (ISBN 978-3-642-33157-2/pbk). ix, 387 p. (2012).
PDFBibTeX XMLCite
Full Text: DOI

Forgetting for defeasible logic. (English) Zbl 1352.68225

Bjørner, Nikolaj (ed.) et al., Logic for programming, artificial intelligence, and reasoning. 18th international conference, LPAR-18, Mérida, Venezuela, March 11–15, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-28716-9/pbk). Lecture Notes in Computer Science 7180, 77-91 (2012).
MSC:  68T27
PDFBibTeX XMLCite
Full Text: DOI Link

Dynamic distributed nonmonotonic multi-context systems. (English) Zbl 1259.68188

Brewka, Gerhard (ed.) et al., Nonmonotonic reasoning. Essays celebrating its 30th anniversary. Papers from the conference (NonMon30), Lexington, KY, USA, October 22–25, 2010. London: College Publications (ISBN 978-1-84890-042-4/pbk). Studies in Logic (London) 31, 63-88 (2011).
MSC:  68T35 68T27
PDFBibTeX XMLCite

Approximations for explanations of inconsistency in partially known multi-context systems. (English) Zbl 1327.68270

Delgrande, James P. (ed.) et al., Logic programming and nonmonotonic reasoning. 11th international conference, LPNMR 2011, Vancouver, Canada, May 16–19, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-20894-2/pbk). Lecture Notes in Computer Science 6645. Lecture Notes in Artificial Intelligence, 107-119 (2011).
MSC:  68T30 68T27
PDFBibTeX XMLCite
Full Text: DOI

Pushing efficient evaluation of HEX programs by modular decomposition. (English) Zbl 1327.68062

Delgrande, James P. (ed.) et al., Logic programming and nonmonotonic reasoning. 11th international conference, LPNMR 2011, Vancouver, Canada, May 16–19, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-20894-2/pbk). Lecture Notes in Computer Science 6645. Lecture Notes in Artificial Intelligence, 93-106 (2011).
MSC:  68N17
PDFBibTeX XMLCite
Full Text: DOI

Symmetry breaking for distributed multi-context systems. (English) Zbl 1327.68247

Delgrande, James P. (ed.) et al., Logic programming and nonmonotonic reasoning. 11th international conference, LPNMR 2011, Vancouver, Canada, May 16–19, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-20894-2/pbk). Lecture Notes in Computer Science 6645. Lecture Notes in Artificial Intelligence, 26-39 (2011).
PDFBibTeX XMLCite
Full Text: DOI arXiv

Nonmonotonic multi-context systems: a flexible approach for integrating heterogeneous knowledge sources. (English) Zbl 1326.68273

Balduccini, Marcello (ed.) et al., Logic programming, knowledge representation, and nonmonotonic reasoning. Essays dedicated to Michael Gelfond on the occasion of his 65th birthday. Berlin: Springer (ISBN 978-3-642-20831-7/pbk). Lecture Notes in Computer Science 6565. Lecture Notes in Artificial Intelligence, 233-258 (2011).
PDFBibTeX XMLCite
Full Text: DOI

Tractable reasoning with DL-programs over Datalog-rewritable description logics. (English) Zbl 1211.68402

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, 35-40 (2010).
MSC:  68T27 68T30
PDFBibTeX XMLCite
Full Text: DOI

The mcs-ie system for explaining inconsistency in multi-context systems. (English) Zbl 1306.68203

Janhunen, Tomi (ed.) et al., Logics in artificial intelligence. 12th European conference, JELIA 2010, Helsinki, Finland, September 13–15, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-15674-8/pbk). Lecture Notes in Computer Science 6341. Lecture Notes in Artificial Intelligence, 356-359 (2010).
MSC:  68T35 68T30
PDFBibTeX XMLCite
Full Text: DOI

The DMCS solver for distributed nonmonotonic multi-context systems. (English) Zbl 1306.68201

Janhunen, Tomi (ed.) et al., Logics in artificial intelligence. 12th European conference, JELIA 2010, Helsinki, Finland, September 13–15, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-15674-8/pbk). Lecture Notes in Computer Science 6341. Lecture Notes in Artificial Intelligence, 352-355 (2010).
MSC:  68T35 68T27 68T30
PDFBibTeX XMLCite
Full Text: DOI

Preference-based inconsistency assessment in multi-context systems. (English) Zbl 1306.68204

Janhunen, Tomi (ed.) et al., Logics in artificial intelligence. 12th European conference, JELIA 2010, Helsinki, Finland, September 13–15, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-15674-8/pbk). Lecture Notes in Computer Science 6341. Lecture Notes in Artificial Intelligence, 143-155 (2010).
MSC:  68T35 68T37
PDFBibTeX XMLCite
Full Text: DOI

Decomposition of distributed nonmonotonic multi-context systems. (English) Zbl 1306.68200

Janhunen, Tomi (ed.) et al., Logics in artificial intelligence. 12th European conference, JELIA 2010, Helsinki, Finland, September 13–15, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-15674-8/pbk). Lecture Notes in Computer Science 6341. Lecture Notes in Artificial Intelligence, 24-37 (2010).
MSC:  68T35 68T27
PDFBibTeX XMLCite
Full Text: DOI

The model checking problem for prefix classes of second-order logic: a survey. (English) Zbl 1287.68107

Blass, Andreas (ed.) et al., Fields of logic and computation. Essays dedicated to Yuri Gurevich on the occasion of his 70th birthday. Berlin: Springer (ISBN 978-3-642-15024-1/pbk). Lecture Notes in Computer Science 6300, 227-250 (2010).
MSC:  68Q60 03B15 03C13 68Q45 68-02
PDFBibTeX XMLCite
Full Text: DOI

Modular nonmonotonic logic programming revisited. (English) Zbl 1251.68056

Hill, Patricia M. (ed.) et al., Logic programming. 25th international conference, ICLP 2009, Pasadena, CA, USA, July 14–17, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-02845-8/pbk). Lecture Notes in Computer Science 5649, 145-159 (2009).
MSC:  68N17 68T30
PDFBibTeX XMLCite
Full Text: DOI

Combining nonmonotonic knowledge bases with external sources. (English) Zbl 1193.68242

Ghilardi, Silvio (ed.) et al., Frontiers of combining systems. 7th international symposium, FroCoS 2009, Trento, Italy, September 16–18, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-04221-8/pbk). Lecture Notes in Computer Science 5749. Lecture Notes in Artificial Intelligence, 18-42 (2009).
MSC:  68T30 68N17 68T27
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

Database

all top 5

Author

all top 5

Year of Publication

all top 3

Main Field

Biographic Reference

all top 3

Software