LUPS
From MaRDI portal
Cited in
(43)- Formal specification and validation of security policies
- Updating Epistemic Logic Programs
- On properties of update sequences based on causal rejection
- An abductive framework for computing knowledge base updates
- Progress in Artificial Intelligence
- A knowledge-based approach for selecting information sources
- Putting logic-based distributed systems on stable grounds
- scientific article; zbMATH DE number 2089908 (Why is no real title available?)
- Computational methods for database repair by signed formulae
- scientific article; zbMATH DE number 1884401 (Why is no real title available?)
- scientific article; zbMATH DE number 1712374 (Why is no real title available?)
- scientific article; zbMATH DE number 2085244 (Why is no real title available?)
- scientific article; zbMATH DE number 2085245 (Why is no real title available?)
- scientific article; zbMATH DE number 1878314 (Why is no real title available?)
- Computational Logic in Multi-Agent Systems
- scientific article; zbMATH DE number 1670569 (Why is no real title available?)
- EVOLP: Tranformation-Based Semantics
- Dynamic reasoning systems
- scientific article; zbMATH DE number 1759366 (Why is no real title available?)
- scientific article; zbMATH DE number 2090124 (Why is no real title available?)
- scientific article; zbMATH DE number 1931648 (Why is no real title available?)
- scientific article; zbMATH DE number 2243355 (Why is no real title available?)
- Logic programming and knowledge representation---The A-Prolog perspective
- scientific article; zbMATH DE number 1931647 (Why is no real title available?)
- ConGolog
- EVOLP
- IMPACT
- KARO
- METATEM
- Logic-based specification languages for intelligent software agents
- Multi-shot ASP solving with clingo
- Moviola
- ActHEX
- Naturalizing logic
- Evolving logic programs with temporal operators
- LUPS -- A language for updating logic programs
- Using methods of declarative logic programming for intelligent information agents
- An Event-Condition-Action Logic Programming Language
- scientific article; zbMATH DE number 1827455 (Why is no real title available?)
- Adding Evolving Abilities to a Multi-Agent System
- scientific article; zbMATH DE number 1759388 (Why is no real title available?)
- Reasoning about evolving nonmonotonic knowledge bases
- A Preference-Based Framework for Updating Logic Programs
This page was built for software: LUPS
