×

Found 121 Documents (Results 1–100)

Operational causality – necessarily sufficient and sufficiently necessary. (English) Zbl 1524.68185

Jansen, Nils (ed.) et al., A journey from process algebra via timed automata to model learning. Essays dedicated to Frits Vaandrager on the occasion of his 60th birthday. Cham: Springer. Lect. Notes Comput. Sci. 13560, 27-45 (2022).
MSC:  68Q60 03B44
PDFBibTeX XMLCite
Full Text: DOI

On the role of possibility in action execution and knowledge in the situation calculus. (English) Zbl 1454.68140

Mouhoub, Malek (ed.) et al., Advances in artificial intelligence. 30th Canadian conference on artificial intelligence, Canadian AI 2017, Edmonton, AB, Canada, May 16–19, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10233, 155-161 (2017).
MSC:  68T27
PDFBibTeX XMLCite
Full Text: DOI Link

A logical representation of extension transformation. (English) Zbl 1368.03039

Cao, Bing-Yuan (ed.) et al., International conference on oriental thinking and fuzzy logic. Celebration of the 50th anniversary in the era of complex systems and big data, Dalian, China, August 17–20, 2015. Cham: Springer (ISBN 978-3-319-30873-9/pbk; 978-3-319-30874-6/ebook). Advances in Intelligent Systems and Computing 443, 553-562 (2016).
MSC:  03B60
PDFBibTeX XMLCite
Full Text: DOI

Planning with regression analysis in transaction logic. (English) Zbl 1365.68384

Cate, Balder (ed.) et al., Web reasoning and rule systems. 9th international conference, RR 2015, Berlin, Germany, August 4–5, 2015. Proceedings. Cham: Springer (ISBN 978-3-319-22001-7/pbk; 978-3-319-22002-4/ebook). Lecture Notes in Computer Science 9209, 45-60 (2015).
MSC:  68T20 68T27
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

Action theories over generalized databases with equality constraints. (English) Zbl 1432.68450

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, 472-485 (2014).
MSC:  68T27 68P15 68T30
PDFBibTeX XMLCite
Full Text: DOI

Making Golog norm compliant. (English) Zbl 1348.68257

Leite, João (ed.) et al., Computational logic in multi-agent systems. 12th international workshop, CLIMA XII, Barcelona, Spain, July 17–18, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-22358-7/pbk). Lecture Notes in Computer Science 6814. Lecture Notes in Artificial Intelligence, 275-292 (2011).
MSC:  68T42 68N15
PDFBibTeX XMLCite
Full Text: DOI

A declarative agent programming language based on action theories. (English) Zbl 1193.68234

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, 230-245 (2009).
MSC:  68T27 68N17
PDFBibTeX XMLCite
Full Text: DOI

Verifying agents’ conformance with multiparty protocols. (English) Zbl 1250.68267

Fisher, Michael (ed.) et al., Computational logic in multi-agent systems. 9th international workshop, CLIMA IX, Dresden, Germany, September 29–30, 2008. Revised selected and invited papers. Berlin: Springer (ISBN 978-3-642-02733-8/pbk). Lecture Notes in Computer Science 5405. Lecture Notes in Artificial Intelligence, 17-36 (2009).
MSC:  68T42 68Q60
PDFBibTeX XMLCite
Full Text: DOI

A semantical account of progression in the presence of defaults. (English) Zbl 1248.68477

Borgida, Alexander T. (ed.) et al., Conceptual modeling: Foundations and applications. Essays in honor of John Mylopoulos. Berlin: Springer (ISBN 978-3-642-02462-7/pbk). Lecture Notes in Computer Science 5600, 82-98 (2009).
MSC:  68T30
PDFBibTeX XMLCite
Full Text: DOI

Tightly coupled probabilistic description logic programs for the semantic web. (English) Zbl 1246.68216

Spaccapietra, Stefano (ed.), Journal on Data Semantics XII. Berlin: Springer (ISBN 978-3-642-00684-5/pbk). Lecture Notes in Computer Science 5480. Journal Subline, 95-130 (2009).
MSC:  68T30 68M11 68T27
PDFBibTeX XMLCite
Full Text: DOI

A fluent calculus semantics for ADL with plan constraints. (English) Zbl 1178.68537

Hölldobler, Steffen (ed.) et al., Logics in artificial intelligence. 11th European conference, JELIA 2008, Dresden, Germany, September 28–October 1, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-87802-5/pbk). Lecture Notes in Computer Science 5293. Lecture Notes in Artificial Intelligence, 140-152 (2008).
MSC:  68T20 68T27
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

all top 5

Author

all top 5

Year of Publication

all top 3

Main Field

Biographic Reference

all top 3

Software