Mathematical Research Data Initiative
Main page
Recent changes
Random page
SPARQL
MaRDI@GitHub
New item
Special pages
In other projects
MaRDI portal item
Discussion
View source
View history
English
Log in

EVOLP: An Implementation

From MaRDI portal
Publication:3602956
Jump to:navigation, search

DOI10.1007/978-3-540-88833-8_16zbMATH Open1175.68464OpenAlexW1597705805MaRDI QIDQ3602956FDOQ3602956


Authors: Martin Slota, João Leite Edit this on Wikidata


Publication date: 12 February 2009

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

Full work available at URL: https://doi.org/10.1007/978-3-540-88833-8_16




Recommendations

  • EVOLP: Tranformation-Based Semantics
  • scientific article; zbMATH DE number 1931648
  • Extending and implementing the stable model semantics
  • scientific article; zbMATH DE number 490759
  • Program updating by incremental and answer subsumption tabling


Mathematics Subject Classification ID

Logic programming (68N17) Agent technology and artificial intelligence (68T42)


Cites Work

  • Programming Multi-Agent Systems in AgentSpeak usingJason
  • Title not available (Why is that?)
  • The refinement extension principle for semantics of dynamic logic programming
  • EVOLP: Tranformation-Based Semantics
  • Adding Evolving Abilities to a Multi-Agent System


Cited In (2)

  • EVOLP
  • EVOLP: Tranformation-Based Semantics

Uses Software

  • Jason





This page was built for publication: EVOLP: An Implementation

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

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:3602956&oldid=17023157"
Tools
What links here
Related changes
Printable version
Permanent link
Page information
This page was last edited on 5 February 2024, at 03:53. Warning: Page may not contain recent updates.
Privacy policy
About MaRDI portal
Disclaimers
Imprint
Powered by MediaWiki