×

Found 50 Documents (Results 1–50)

A calculus for attribute-based memory updates. (English) Zbl 07500654

Cerone, Antonio (ed.) et al., Theoretical aspects of computing – ICTAC 2021. 18th international colloquium, virtual event, Nur-Sultan, Kazakhstan, September 8–10, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12819, 366-385 (2021).
MSC:  68Qxx
PDFBibTeX XMLCite
Full Text: DOI

Reasoning about ignorance and beliefs. (English) Zbl 1474.68332

Cleophas, Loek (ed.) et al., Software engineering and formal methods. SEFM 2020 collocated workshops: ASYDE, CIFMA, and CoSim-CPS, Amsterdam, The Netherlands, September 14–15, 2020, Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 12524, 214-230 (2021).
MSC:  68T27 03B45
PDFBibTeX XMLCite
Full Text: DOI

Leighton-Micali hash-based signatures in the quantum random-oracle model. (English) Zbl 1384.94060

Adams, Carlisle (ed.) et al., Selected areas in cryptography – SAC 2017. 24th international conference, Ottawa, ON, Canada, August 16–18, 2017. Revised selected papers. Cham: Springer (ISBN 978-3-319-72564-2/pbk; 978-3-319-72565-9/ebook). Lecture Notes in Computer Science 10719, 263-280 (2018).
MSC:  94A60 81P94
PDFBibTeX XMLCite
Full Text: DOI

A theory of intentions for intelligent agents (extended abstract). (English) Zbl 1467.68191

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, 134-142 (2015).
MSC:  68T42 68N17
PDFBibTeX XMLCite
Full Text: DOI

First-order linear-time epistemic logic with group knowledge: an axiomatisation of the monodic fragment. (English) Zbl 1246.03036

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, 140-154 (2009).
MSC:  03B42 03B44 68T27
PDFBibTeX XMLCite
Full Text: DOI

Agent uncertainty model and quantum mechanics representation: Non-locality modeling. (English) Zbl 1171.68734

Jain, Lakhmi C. (ed.) et al., Knowledge processing and decision making in agent-based systems. Berlin: Springer (ISBN 978-3-540-88048-6/hbk; 978-3-540-88049-3/ebook). Studies in Computational Intelligence 170, 217-246 (2009).
MSC:  68T20 68T05 81P68
PDFBibTeX XMLCite
Full Text: DOI

Towards agent-oriented relevant information. (English) Zbl 1169.68613

Dochev, Danail (ed.) et al., Artificial intelligence: Methodology, systems, and applications. 13th international conference, AIMSA 2008, Varna, Bulgaria, September 4–6, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-85775-4/pbk). Lecture Notes in Computer Science 5253. Lecture Notes in Artificial Intelligence, 22-31 (2008).
MSC:  68T27
PDFBibTeX XMLCite
Full Text: DOI

Deduction systems for BDI logics with mental state consistency. (English) Zbl 1270.68286

Dix, Jurgen (ed.) et al., CLIMA’2002. Computational logic in multi-agent systems (FLoC satellite event), Copenhagen, Denmark, August 1, 2002. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 70, No. 5, 140-152 (2002).
MSC:  68T27 68N30 68T15 68T42
PDFBibTeX XMLCite
Full Text: Link

Filter Results by …

Document Type

all top 5

Author

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software