scientific article; zbMATH DE number 7453147

MaRDI QIDQ5020591

Francesco Pacenza

Publication date: 6 January 2022

Full work available at URL: https://arxiv.org/abs/1909.08260

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Logic programming (68N17)

Uses Software

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

Cites Work

• Extending and implementing the stable model semantics
• LARS: a logic-based framework for analytic reasoning over streams
• Reactive multi-context systems: heterogeneous reasoning in dynamic environments
• Heterogeneous active agents. III: Polynomially implementable agents
• HEX PROGRAMS WITH ACTION ATOMS
• A Declarative Agent Programming Language Based on Action Theories
• Ticker: A system for incremental ASP-based stream reasoning
• Incremental Answer Set Programming with Overgrounding
• Multi-shot ASP solving with clingo
• Programming Multi-Agent Systems in AgentSpeak usingJason

This page was built for publication: