The following pages link to LUPS (Q15118):
Displaying 36 items.
- Logic programming and knowledge representation---The A-Prolog perspective (Q1603731) (← links)
- LUPS -- A language for updating logic programs (Q1603734) (← links)
- Naturalizing logic (Q2018606) (← links)
- Computational methods for database repair by signed formulae (Q2502158) (← links)
- (Q2753775) (← links)
- Norms for DLP agents working in a warehouse scenario (Q2773771) (← links)
- Formal Specification and Validation of Security Policies (Q2889828) (← links)
- Reasoning about Evolving Nonmonotonic Knowledge Bases (Q2996180) (← links)
- Evolving Logic Programs with Temporal Operators (Q3001921) (← links)
- A knowledge-based approach for selecting information sources (Q3432853) (← links)
- An Event-Condition-Action Logic Programming Language (Q3533119) (← links)
- EVOLP: Tranformation-Based Semantics (Q3602944) (← links)
- Updating Epistemic Logic Programs (Q3623225) (← links)
- Using methods of declarative logic programming for intelligent information agents (Q4452621) (← links)
- On properties of update sequences based on causal rejection (Q4452622) (← links)
- (Q4536313) (← links)
- (Q4536336) (← links)
- Putting logic-based distributed systems on stable grounds (Q4593035) (← links)
- (Q4708905) (← links)
- (Q4708906) (← links)
- (Q4736478) (← links)
- (Q4736479) (← links)
- (Q4781257) (← links)
- (Q4797777) (← links)
- (Q4798021) (← links)
- (Q4808552) (← links)
- (Q4808816) (← links)
- An abductive framework for computing knowledge base updates (Q4819001) (← links)
- Logic-based specification languages for intelligent software agents (Q4819010) (← links)
- Progress in Artificial Intelligence (Q5191570) (← links)
- Multi-shot ASP solving with clingo (Q5197744) (← links)
- Dynamic Reasoning Systems (Q5277897) (← links)
- Adding Evolving Abilities to a Multi-Agent System (Q5302010) (← links)
- A Preference-Based Framework for Updating Logic Programs (Q5425399) (← links)
- Computational Logic in Multi-Agent Systems (Q5706847) (← links)
- (Q5715664) (← links)
