| SYMBOLIC SOLUTIONS FOR SYMBOLIC CONSTRAINT SATISFACTION PROBLEMS
|
2021 |
Melo, Alexsander Andrade De |
| COMPARING WEAK ADMISSIBILITY SEMANTICS TO THEIR DUNG-STYLE COUNTERPARTS -- REDUCT, MODULARIZATION, AND STRONG EQUIVALENCE IN ABSTRACT ARGUMENTATION
|
2021 |
Baumann, Ringo |
| BALANCING EXPRESSIVENESS AND INEXPRESSIVENESS IN VIEW DESION
|
2021 |
Benedikt, Michael |
| EXPLANATORY DIAGNOSIS OF DISCRETE-EVENT SYSTEMS WITH TEMPORAL INFORMATION AND SMART KNOWLEDGE-COMPILATION
|
2021 |
Bertoglio, Nicola |
| SIMULTANEOUS REPRESENTATION OF KNOWLEDGE AND BELIEF FOR EPISTEMIC PLANNING WITH BELIEF REVISION
|
2021 |
Buckingham, David |
| MODULE CHECKING OF PUSHDOWN MULTI-AGENT SYSTEMS
|
2021 |
Bozzelli, Laura |
| A UNIFORM TREATMENT OF AGGREGATES AND CONSTRANTS IN HYBRID ASP
|
2021 |
Cabalar, Pedro |
| PREFERENCE-BASED INCONSISTENCY-TOLERANT QUERY ANSWERING UNDER EXISTENTIAL RULES
|
2021 |
Calautti, Marco |
| RATIONAL DEFEASIBLE BELIEF CHANGE
|
2021 |
Casini, Giovanni |
| CONTAINMENT OF SIMPLE CONJUNCTIVE REGULAR PATH QUERIES
|
2021 |
Figueira, Diego |
| ENTITY TYPE RECOGNITION — DEALING WITH THE DIVERSITY OF KNOWLEDGE
|
2021 |
Giunchiglia, Fausto |
| ANSWER SET PROGRAMMING WITH COMPOSED PREDICATE NAMEBDS
|
2021 |
Alviano, Mario |
| AN OPTIMIZATION APPROACH TO ROBUST GOAL OBFUSCATION
|
2021 |
Bernardini, Sara |
| SPATIAL REASONING ABOUT STRING LOOPS AND HOLES IN TEMPORAL ASP
|
2021 |
Cabalar, Pedro |
| REVISION BY CONDITIONALS: FROM HOOK TO ARROW
|
2021 |
Chandler, Jake |
| A PREFERENCE-BASED APPROACH TO DEFEASIBLE DEONTIC INFERENCE
|
2021 |
Delgrande, James |
| STRATEGY SYNTHESIS FOR DATA-AWARE DYNAMIC SYSTEMS WITH MULTIPLE ACTORS
|
2021 |
Leoni, Massimiliano De |
| JOKES AND BELIEF REVISION
|
2021 |
Saint-Cyr, Florence Dupin De |
| FIXED-PARAMETER TRACTABILITY OF DEPENDENCY QBF WITH STRUCTURAL PARAMETERS
|
2021 |
Ganian, Robert |
| DATALOG REWRITABILITY AND DATA COMPLEXITY OF ALCHOIF WITH CLOSED PREDICATES
|
2021 |
Gogacz, Tomasz |
Tag hinzufügen