InstQL: a query language for virtual institutions using answer set programming

DOI10.1007/978-3-642-16867-3_6MaRDI QIDQ3055676zbMATH OpenOpenAlexFDO

Authors Luke Hopton, Owen Cliffe, Marina De Vos, Julian A Padget

Publication date 9 November 2010

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-16867-3_6

Mathematics Subject Classification ID

Logic programming (68N17) Specification and verification (program logics, model checking, etc.) (68Q60) Agent technology and artificial intelligence (68T42)

Recommendations

• Answer Set Programming for Representing and Reasoning About Virtual Institutions
• Agent strands in the action language \(n\mathcal C +\)
• A Framework for Model Checking Institutions
• Normative design using inductive learning
• Ontological aspects of the implementation of norms in agent-based electronic institutions

Cited in

(3)

• InstQL
• Normative design using inductive learning
• Answer Set Programming for Representing and Reasoning About Virtual Institutions

Describes a project that uses

Uses Software

• Smodels

This page was built for publication: InstQL: a query language for virtual institutions using answer set programming

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