Add to ORKGWe report on a commencing project that is con-cerned with the transfer of techniques from multi-agent systems research to the domain of automated reasoning. The goal is to achieve more exible or
AbstractDifferent reasoning systems have different strengths and weaknesses, and often it is useful ...
AbstractKnowledge-based proof planning is a new paradigm in automated theorem proving (ATP) which sw...
Abstract. We present an encoding of a sequent calculus for a multiagent epistemic logic in Athena, a...
AbstractIn this contribution we propose an agent architecture for theorem proving which we intend to...
This paper discusses experiments with an agent oriented approach to automated and interactive reason...
Abstract. This paper discusses experiments with an agent oriented ap-proach to automated and interac...
We present an agent-based mechanism that acts as a mediator module between theorem proving systems a...
Different reasoning systems have different strengths and weaknesses, and often it is useful to combi...
We present an agent-based mechanism that acts as a mediator module between theorem proving systems a...
We present the-Ants theorem prover that is built on top of an agent-based command suggestion mechani...
Real-world applications of automated theorem proving require modern software environments that enabl...
Despite decades of research, the takeup of formal methods for developing provably correct software i...
We advocate increased flexibility in automated reasoning, whereby a reasoning agent is able to corre...
One goal of Artificial Intelligence is to enable the creation of robust, fully autonomous agents tha...
... aims at periodically bringing together researchers to discuss techniques, based on computational...
AbstractDifferent reasoning systems have different strengths and weaknesses, and often it is useful ...
AbstractKnowledge-based proof planning is a new paradigm in automated theorem proving (ATP) which sw...
Abstract. We present an encoding of a sequent calculus for a multiagent epistemic logic in Athena, a...
AbstractIn this contribution we propose an agent architecture for theorem proving which we intend to...
This paper discusses experiments with an agent oriented approach to automated and interactive reason...
Abstract. This paper discusses experiments with an agent oriented ap-proach to automated and interac...
We present an agent-based mechanism that acts as a mediator module between theorem proving systems a...
Different reasoning systems have different strengths and weaknesses, and often it is useful to combi...
We present an agent-based mechanism that acts as a mediator module between theorem proving systems a...
We present the-Ants theorem prover that is built on top of an agent-based command suggestion mechani...
Real-world applications of automated theorem proving require modern software environments that enabl...
Despite decades of research, the takeup of formal methods for developing provably correct software i...
We advocate increased flexibility in automated reasoning, whereby a reasoning agent is able to corre...
One goal of Artificial Intelligence is to enable the creation of robust, fully autonomous agents tha...
... aims at periodically bringing together researchers to discuss techniques, based on computational...
AbstractDifferent reasoning systems have different strengths and weaknesses, and often it is useful ...
AbstractKnowledge-based proof planning is a new paradigm in automated theorem proving (ATP) which sw...
Abstract. We present an encoding of a sequent calculus for a multiagent epistemic logic in Athena, a...