×

Found 93 Documents (Results 1–93)

The aspect calculus. (English) Zbl 07178989

Fontaine, Pascal (ed.), Automated deduction – CADE 27. 27th international conference on automated deduction, Natal, Brazil, August 27–30, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11716, 406-424 (2019).
MSC:  03B35 68V15
PDFBibTeX XMLCite
Full Text: DOI

Algebraic operators for processing sets of temporal intervals in relational databases. (English) Zbl 1487.68090

Alechina, Natasha (ed.) et al., 25th international symposium on temporal representation and reasoning. TIME 2018, Warsaw, Poland, October 15–17, 2018. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 120, Article 11, 16 p. (2018).
MSC:  68P15
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

Situation calculus game structures and GDL. (English) Zbl 1396.91011

Kaminka, Gal A. (ed.) et al., ECAI 2016. 22nd European conference on artificial intelligence, The Hague, Netherlands, August 29 – September 2, 2016. Proceedings. Including proceedings of the accompanied conference on prestigious applications of intelligent systems (PAIS 2016). In 2 volumes. Amsterdam: IOS Press (ISBN 978-1-61499-671-2/pbk; 978-1-61499-672-9/ebook). Frontiers in Artificial Intelligence and Applications 285, 408-416 (2016).
MSC:  91A06 91-04
PDFBibTeX XMLCite
Full Text: DOI

A new semantics for logic programs. (English) Zbl 1052.68082

Gabbay, Dov M. (ed.) et al., Handbook of defeasible reasoning uncertainty management systems. Vol. 6: Dynamics and management of reasoning processes. Dordrecht: Kluwer Academic Publishers (ISBN 1-4020-0193-2). 217-248 (2001).
MSC:  68Q55 68N17
PDFBibTeX XMLCite

Disjunctive information. (English) Zbl 0956.03003

Moss, Lawrence S. (ed.) et al., Logic, language and computation. Vol 2. Proceedings of the 2nd conference on information-theoretic approaches to logic, language and computation (ITALLC), London, UK, July 1996. Stanford, CA: CSLI Publications. CSLI Lect. Notes. 96, 165-178 (1999).
MSC:  03A05 03B47 00A79
PDFBibTeX XMLCite

Declarative formalization of heuristics (taking advice in the blocks world). (English) Zbl 0959.68015

Mohammadian, Masoud (ed.), Computational intelligence for modelling, control & automation ’99. Intelligent image processing, data analysis & information retrieval. International conference, Vienna, Austria, February 17-19, 1999. Amsterdam: IOS Press). Concurrent Syst. Eng. Ser. 56, 221-228 (1999).
MSC:  68N01 68T15 68T37
PDFBibTeX XMLCite

The situation and state calculus versus branching temporal logic. (English) Zbl 0946.03036

Fiadeiro, José Luiz (ed.), Recent trends in algebraic development techniques. 13th international workshop, WADT ’98, Lisbon, Portugal, April 2-4, 1998. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1589, 293-309 (1999).
MSC:  03B70 68T27 03B44
PDFBibTeX XMLCite

Search algorithms in the situation calculus. (English) Zbl 0944.68045

Levesque, Hector J. (ed.) et al., Logical foundations for cognitive agents. Contributions in honor of Ray Reiter, on the occasion of his 60th birthday. Berlin: Springer. 213-233 (1999).
MSC:  68P10 68T20
PDFBibTeX XMLCite

Explanatory diagnosis: Conjecturing actions to explain observations. (English) Zbl 0938.03055

Levesque, Hector J. (ed.) et al., Logical foundations for cognitive agents. Contributions in honor of Ray Reiter, on the occasion of his 60th birthday. Berlin: Springer. 155-172 (1999).
MSC:  03B70 68T27
PDFBibTeX XMLCite

Computing domain specific information. (English) Zbl 0944.68164

Levesque, Hector J. (ed.) et al., Logical foundations for cognitive agents. Contributions in honor of Ray Reiter, on the occasion of his 60th birthday. Berlin: Springer. 29-40 (1999).
MSC:  68T15
PDFBibTeX XMLCite

Inductive definability and the situation calculus. (English) Zbl 0927.03059

Freitag, Burkhard (ed.) et al., Transactions and change in logic databases. International seminar on Logic databases and the meaning of change, Schloss Dagstuhl, Germany, September 23–27, 1996 and ILPS ’97 post-conference workshop on (Trans)Actions and change in logic programming and deductive databases, DYNAMICS ’97, Port Jefferson, NY, USA, October 17, 1997. Berlin: Springer. Lect. Notes Comput. Sci. 1472, 227-248 (1998).
MSC:  03B70
PDFBibTeX XMLCite

Filter Results by …

Document Type

all top 5

Author

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software