LUPS
From MaRDI portal
Software:15118
No author found.
Related Items (36)
Dynamic Reasoning Systems ⋮ Formal Specification and Validation of Security Policies ⋮ Adding Evolving Abilities to a Multi-Agent System ⋮ An abductive framework for computing knowledge base updates ⋮ Logic-based specification languages for intelligent software agents ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Putting logic-based distributed systems on stable grounds ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ An Event-Condition-Action Logic Programming Language ⋮ Reasoning about Evolving Nonmonotonic Knowledge Bases ⋮ Computational Logic in Multi-Agent Systems ⋮ Evolving Logic Programs with Temporal Operators ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ A Preference-Based Framework for Updating Logic Programs ⋮ Naturalizing logic ⋮ Progress in Artificial Intelligence ⋮ Computational methods for database repair by signed formulae ⋮ EVOLP: Tranformation-Based Semantics ⋮ Multi-shot ASP solving with clingo ⋮ Updating Epistemic Logic Programs ⋮ Using methods of declarative logic programming for intelligent information agents ⋮ On properties of update sequences based on causal rejection ⋮ Unnamed Item ⋮ A knowledge-based approach for selecting information sources ⋮ Logic programming and knowledge representation---The A-Prolog perspective ⋮ LUPS -- A language for updating logic programs
This page was built for software: LUPS