scientific article; zbMATH DE number 7453147

MaRDI QIDQ5020591zbMATH OpenFDO

Authors Francesco Pacenza

Publication date 6 January 2022

Full work available at URL https://arxiv.org/abs/1909.08260, http://eptcs.web.cse.unsw.edu.au/paper.cgi?ICLP2019.57

Mathematics Subject Classification ID

Logic programming (68N17)

Cites work

• A declarative agent programming language based on action theories
• Extending and implementing the stable model semantics
• Heterogeneous active agents. III: Polynomially implementable agents
• HEX programs with action atoms
• Incremental answer set programming with overgrounding
• LARS: a logic-based framework for analytic reasoning over streams
• Multi-shot ASP solving with clingo
• Programming Multi-Agent Systems in AgentSpeak usingJason
• Reactive multi-context systems: heterogeneous reasoning in dynamic environments
• Ticker: a system for incremental ASP-based stream reasoning

Describes a project that uses

Uses Software

• D*Lite
• ActHEX
• Jason
• oClingo
• LARS
• Clingo

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5020591)