scientific article; zbMATH DE number 1882065

zbMATH Open1007.68710MaRDI QIDQ4797443FDOQ4797443

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

Title of this publication is not available (Why is that?)

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

Mathematics Subject Classification ID

Computing methodologies and applications (68U99)

Cited In (9)

• \(\Omega\)-ANTS -- An open approach at combining interactive and automated theorem proving
• Title not available (Why is that?)
• LEO-II - A Cooperative Automatic Theorem Prover for Classical Higher-Order Logic (System Description)
• Title not available (Why is that?)
• Computer supported mathematics with \(\Omega\)MEGA
• Combined reasoning by automated cooperation
• Title not available (Why is that?)
• \textsf{Goéland}: a concurrent tableau-based theorem prover (system description)
• Agent-based HOL reasoning

Uses Software

• Leo
• DISCOUNT
• OMEGA
• P.rex

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)