Experiments with an agent-oriented reasoning system

DOI10.1007/3-540-45422-5_29MaRDI QIDQ4797443zbMATH OpenFDO

Authors Christoph Benzmüller, Mateja Jamnik, Manfred Kerber, Volker Sorge

Publication date 13 March 2003

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

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2174/21740409.htm

Mathematics Subject Classification ID

Computing methodologies and applications (68U99)

Recommendations

• Towards a methodology for experiments with autonomous agents
• Contextual Reasoning in Agent Systems
• Agent-based HOL reasoning
• scientific article; zbMATH DE number 1552264
• An implementation for abductive logic agents
• Reasoning agents in dynamic domains
• Logic Programming
• Towards agent systems engineering

Cited in

(10)

• \textsf{Goéland}: a concurrent tableau-based theorem prover (system description)
• -ANTS -- An open approach at combining interactive and automated theorem proving
• Agent-based HOL reasoning
• LEO-II - A Cooperative Automatic Theorem Prover for Classical Higher-Order Logic (System Description)
• Towards a methodology for experiments with autonomous agents
• scientific article; zbMATH DE number 1497751 (Why is no real title available?)
• scientific article; zbMATH DE number 1543304 (Why is no real title available?)
• scientific article; zbMATH DE number 1552521 (Why is no real title available?)
• Computer supported mathematics with MEGA
• Combined reasoning by automated cooperation

Describes a project that uses

Uses Software

• P.rex
• Leo
• DISCOUNT
• OMEGA

This page was built for publication: Experiments with an agent-oriented reasoning system

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