Modelchecking Agent Programming Language download

The MCAPL Project provides a tool for prototyping BDI agent programming languages and model checking programs written in these languages via an interface to the JavaPathfinder model checker.

Project Activity

See All Activity >

License

GNU Library or Lesser General Public License version 2.0 (LGPLv2)

Follow Modelchecking Agent Programming Language

Modelchecking Agent Programming Language Web Site

User Reviews

Be the first to post a review of Modelchecking Agent Programming Language!

Additional Project Details

Intended Audience

Science/Research

Programming Language

Java

Related Categories

Java Debuggers, Java Interpreters, Java Intelligent Agents, Java Programming Languages

Registered

2008-12-10

Similar Business Software

C++

C++ is a simple and clear language in its expressions. It is true that a piece of code written with C++ may be seen by a stranger of programming a bit more cryptic than some other languages due to the intensive use of special characters ({}[]*&!|...), but once one knows the meaning of such...

See Software
IBM watsonx Assistant

IBM watsonx Assistant (Formerly Watson Assistant) is a market-leading enterprise conversational AI platform that allows you to build intelligent virtual and voice assistants that can provide customers with fast, consistent and accurate answers across any messaging platform, application, device...

See Software
Wordware

Wordware enables anyone to develop, iterate, and deploy useful AI agents. Wordware combines the best aspects of software with the power of natural language. Remove constraints of traditional no-code tools and empower every team member to iterate independently. Natural language programming is...

See Software

Report inappropriate content