LUPS

swMATH2579MaRDI QIDQ15118FDOQ15118

Author name not available (Why is that?)

Cited In (36)

• 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
• Adding Evolving Abilities to a Multi-Agent System
• Title not available (Why is that?)
• Title not available (Why is that?)
• Putting logic-based distributed systems on stable grounds
• Title not available (Why is that?)
• Naturalizing logic
• Title not available (Why is that?)
• Computational Logic in Multi-Agent Systems
• Multi-shot ASP solving with clingo
• Formal Specification and Validation of Security Policies
• Title not available (Why is that?)
• Computational methods for database repair by signed formulae
• Reasoning about Evolving Nonmonotonic Knowledge Bases
• Evolving Logic Programs with Temporal Operators
• 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?)
• Dynamic Reasoning Systems
• 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