LUPS

swMATH2579MaRDI QIDQ15118FDOQ15118

Author name not available (Why is that?)

Official website: http://link.springer.com/chapter/10.1007/3-540-46767-X_12

Cited In (39)

• Title not available (Why is that?)
• Title not available (Why is that?)
• LUPS -- A language for updating logic programs
• Updating Epistemic Logic Programs
• Title not available (Why is that?)
• Logic-based specification languages for intelligent software agents
• Reasoning about evolving nonmonotonic knowledge bases
• Dynamic reasoning systems
• Adding Evolving Abilities to a Multi-Agent System
• Title not available (Why is that?)
• Title not available (Why is that?)
• Formal specification and validation of security policies
• Putting logic-based distributed systems on stable grounds
• Title not available (Why is that?)
• Naturalizing logic
• Evolving logic programs with temporal operators
• Title not available (Why is that?)
• Computational Logic in Multi-Agent Systems
• METATEM
• Multi-shot ASP solving with clingo
• Moviola
• ActHEX
• Title not available (Why is that?)
• Computational methods for database repair by signed formulae
• Logic programming and knowledge representation---The A-Prolog perspective
• An Event-Condition-Action Logic Programming Language
• On properties of update sequences based on causal rejection
• Progress in Artificial Intelligence
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• EVOLP: Tranformation-Based Semantics
• An abductive framework for computing knowledge base updates
• Using methods of declarative logic programming for intelligent information agents
• A Preference-Based Framework for Updating Logic Programs
• A knowledge-based approach for selecting information sources

This page was built for software: LUPS