The following pages link to Andrea Formisano (Q167067):
Displaying 46 items.
- Distributed colorings for collision-free routing in sink-centric sensor networks (Q450566) (← links)
- \(T\)-resolution: Refinements and model elimination (Q1284706) (← links)
- (Q1870579) (redirect page) (← links)
- Compiling dyadic first-order specifications into map algebra (Q1870581) (← links)
- Three-variable statements of set-pairing (Q1885036) (← links)
- An epistemic logic for multi-agent systems with budget and costs (Q2055785) (← links)
- Multi-context systems in dynamic environments (Q2317972) (← links)
- Epistemic logic programs: a study of some properties (Q2694560) (← links)
- Nested Weight Constraints in ASP (Q2841957) (← links)
- Negation as a Resource: A Novel View on Answer Set Semantics (Q2851258) (← links)
- (Q2863908) (← links)
- A graphical representation of relational formulae with complementation (Q2889180) (← links)
- BAAC: A Prolog System for Action Description and Agents Coordination (Q2909158) (← links)
- Perspectives on Logic-Based Approaches for Reasoning about Actions and Change (Q3001924) (← links)
- Weight Constraints with Preferences in ASP (Q3003261) (← links)
- Extending and Implementing RASP (Q3084978) (← links)
- An Investigation of Multi-Agent Planning in CLP (Q3084981) (← links)
- (Q3100236) (← links)
- Negation as a Resource: a Novel View on Answer Set Semantics* (Q3187010) (← links)
- Multivalued action languages with constraints in CLP(FD) (Q3550913) (← links)
- Answer Set Programming with Resources (Q3553920) (← links)
- Theory-Specific Automated Reasoning (Q3578390) (← links)
- Multivalued Action Languages with Constraints in CLP(FD) (Q3608659) (← links)
- Modeling preferences and conditional preferences on resource consumption and production in ASP (Q3631318) (← links)
- An empirical study of constraint logic programming and answer set programming solutions of combinatorial problems (Q3638568) (← links)
- Representing Multi-agent Planning in CLP (Q3643135) (← links)
- An efficient relational deductive system for propositional non-classical logics (Q3647245) (← links)
- (Q4503910) (← links)
- (Q4539604) (← links)
- RASP and ASP as a fragment of linear logic (Q4583307) (← links)
- Query answering in resource-based answer set semantics (Q4593046) (← links)
- An Agg Application Supporting Visual Reasoning1 (Q4921559) (← links)
- Layered map reasoning (Q4923516) (← links)
- (Q4940937) (← links)
- (Q5087786) (← links)
- Adding Metalogic Features to Knowledge Representation Languages* (Q5158659) (← links)
- Decidability results for sets with atoms (Q5277749) (← links)
- Autonomous agents coordination: Action languages meet CLP() and Linda (Q5299582) (← links)
- An Environment for Specifying Properties of Dyadic Relations and Reasoning About Them II: Relational Presentation of Non-classical Logics (Q5302022) (← links)
- Comparative uncertainty: theory and automation (Q5458059) (← links)
- Logic Programming (Q5475770) (← links)
- The axiom of elementary sets on the edge of Peircean expressibility (Q5718697) (← links)
- Goals and benchmarks for automated map reasoning (Q5927984) (← links)
- Parallel Logic Programming: A Sequel (Q6063892) (← links)
- Reasoning on relations, modalities, and sets (Q6599612) (← links)
- Epistemic logic programs: a study of some properties (Q6656459) (← links)
