scientific article; zbMATH DE number 1882065

MaRDI QIDQ4797443zbMATH OpenFDO

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

Publication date 13 March 2003

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

• scientific article; zbMATH DE number 2014714
• Contextual Reasoning in Agent Systems
• Agent-based HOL reasoning
• scientific article; zbMATH DE number 1552264
• scientific article; zbMATH DE number 1630005
• 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)
• scientific article; zbMATH DE number 2014714 (Why is no real title available?)
• 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:

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