default search action
Andrea Formisano 0001
Person information
- affiliation: University of Udine, Italy
Other persons with the same name
- Andrea Formisano 0002 — University of Naples "Federico II", Naples, Italy
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [c72]Flavio Bertini, Alessandro Dal Palù, Francesco Fabiano, Andrea Formisano, Federica Zaglio:
Concept2Text: An Explainable Multilingual Rewriting of Concepts into Natural Language. CILC 2024 - [c71]Stefania Costantini, Andrea Formisano:
Solver Fast Prototyping for Reduct-based ELP Semantics. CILC 2024 - [c70]Agostino Dovier, Talissa Dreossi, Andrea Formisano:
XAI-LAW Towards a Logic Programming Tool for Taking and Explaining Legal Decisions. CILC 2024 - [c69]Talissa Dreossi, Agostino Dovier, Andrea Formisano, Mark Law, Agostino Manzato, Alessandra Russo, Matthew Tait:
Towards Explainable Weather Forecasting Through FastLAS. LPNMR 2024: 262-275 - 2023
- [j36]Fabio Tardivo, Agostino Dovier, Andrea Formisano, Laurent Michel, Enrico Pontelli:
Constraint propagation on GPU: A case study for the AllDifferent constraint. J. Log. Comput. 33(8): 1734-1752 (2023) - [c68]Stefania Costantini, Andrea Formisano:
Fast Prototyping of a Solver for Reduct-based ELP Semantics. CILC 2023 - [c67]Stefania Costantini, Andrea Formisano, Valentina Pitoni:
Preference Management in Epistemic Logic L-DINF. CILC 2023 - [c66]Alessandro Dal Palù, Agostino Dovier, Andrea Formisano:
Towards Explainable Data-to-text Generation. CILC 2023 - [c65]Fabio Tardivo, Agostino Dovier, Andrea Formisano, Laurent Michel, Enrico Pontelli:
Constraint Propagation on GPU: A Case Study for the Cumulative Constraint. CPAIOR 2023: 336-353 - [c64]Flavio Bertini, Alessandro Dal Palù, Andrea Formisano, Andrea Pintus, Sara Rainieri, Luana Salvarani:
Students' Careers and AI: a decision-making support system for Academia. Ital-IA 2023: 272-277 - [c63]Stefania Costantini, Andrea Formisano, Valentina Pitoni:
A Timed Epistemic Logic for Formalizing Cooperation among Groups of Agents. WOA 2023: 151-166 - [c62]Alessandro Dal Palù, Agostino Dovier, Andrea Formisano:
An xAI Approach for Data-to-Text Processing with ASP. ICLP 2023: 353-366 - [p5]Alessandro Dal Palù, Agostino Dovier, Andrea Formisano, Enrico Pontelli:
Prolog Meets Biology. Prolog: The Next 50 Years 2023: 318-333 - [e6]Agostino Dovier, Andrea Formisano:
Proceedings of the 38th Italian Conference on Computational Logic, Udine, Italy, June 21-23, 2023. CEUR Workshop Proceedings 3428, CEUR-WS.org 2023 [contents] - [i9]Stefania Costantini, Andrea Formisano:
Epistemic Logic Programs: a study of some properties. CoRR abs/2309.16344 (2023) - 2022
- [j35]Agostino Dovier, Andrea Formisano, Gopal Gupta, Manuel V. Hermenegildo, Enrico Pontelli, Ricardo Rocha:
Parallel Logic Programming: A Sequel. Theory Pract. Log. Program. 22(6): 905-973 (2022) - [c61]Michele Collevati, Agostino Dovier, Andrea Formisano:
GPU parallelism for SAT solving heuristics. CILC 2022: 17-31 - [c60]Fabio Tardivo, Agostino Dovier, Andrea Formisano, Laurent Michel, Enrico Pontelli:
Constraints propagation on GPU: A case study for AllDifferent. CILC 2022: 61-74 - [c59]Stefania Costantini, Andrea Formisano, Valentina Pitoni:
Temporalizing Epistemic Logic L-DINF. CILC 2022: 119-133 - [c58]Stefania Costantini, Andrea Formisano:
Epistemic Logic Programs: an approach to Semantic Comparison. CILC 2022: 186-200 - [c57]Stefania Costantini, Andrea Formisano:
Epistemic Logic Programs: a Novel Perspective and Some Extensions. ICLP Workshops 2022 - [c56]Stefania Costantini, Andrea Formisano, Valentina Pitoni:
Cognitive Aspects in Epistemic Logic L-DINF. CAKR@IJCAI 2022 - [c55]Stefania Costantini, Andrea Formisano:
Epistemic Logic Programs: A Study of Some Properties. LPNMR 2022: 131-144 - [c54]Stefania Costantini, Andrea Formisano, Valentina Pitoni:
Modelling Agents Roles in the Epistemic Logic L-DINF. NMR 2022: 70-79 - [c53]Stefania Costantini, Andrea Formisano, Valentina Pitoni:
Cooperation Among Groups of Agents in the Epistemic Logic L-DINF. RuleML+RR 2022: 280-295 - [d1]Andrea Formisano, Raffaella Gentilini, Flavio Vella:
Dataset_ScalableEnergyGamesSolversOnGPUs. IEEE DataPort, 2022 - 2021
- [j34]Stefania Costantini, Andrea Formisano:
Adding Metalogic Features to Knowledge Representation Languages. Fundam. Informaticae 181(1): 71-98 (2021) - [j33]Andrea Formisano, Raffaella Gentilini, Flavio Vella:
Scalable Energy Games Solvers on GPUs. IEEE Trans. Parallel Distributed Syst. 32(12): 2970-2982 (2021) - [j32]Alex Brik, Andrea Formisano, Yanhong Annie Liu, Joost Vennekens:
Introduction to the 37th International Conference on Logic Programming Special Issue I. Theory Pract. Log. Program. 21(5): 521-526 (2021) - [j31]Alex Brik, Andrea Formisano, Yanhong Annie Liu, Joost Vennekens:
Introduction to the 37th International Conference on Logic Programming Special Issue II. Theory Pract. Log. Program. 21(6): 698-699 (2021) - [c52]Stefania Costantini, Andrea Formisano, Valentina Pitoni:
A Logic of Inferable in Multi-Agent Systems with Budget and Costs. AAMAS 2021: 1483-1485 - [c51]Stefania Costantini, Andrea Formisano, Valentina Pitoni:
An Epistemic Logic for Modular Development of Multi-Agent Systems. EMAS@AAMAS 2021: 72-91 - [c50]Stefania Costantini, Andrea Formisano, Valentina Pitoni:
An Epistemic Logic for Multi-agent Systems with Budget and Costs. JELIA 2021: 101-115 - [e5]Andrea Formisano, Yanhong Annie Liu, Bart Bogaerts, Alex Brik, Verónica Dahl, Carmine Dodaro, Paul Fodor, Gian Luca Pozzato, Joost Vennekens, Neng-Fa Zhou:
Proceedings 37th International Conference on Logic Programming (Technical Communications), ICLP Technical Communications 2021, Porto (virtual event), 20-27th September 2021. EPTCS 345, 2021 [contents] - [i8]Pedro Cabalar, Stefania Costantini, Giovanni De Gasperis, Andrea Formisano:
Multi-Context Systems: Dynamics and Evolution (Pre-Print of "Multi-context systems in dynamic environments"). CoRR abs/2106.06780 (2021) - [i7]Agostino Dovier, Andrea Formisano, Gopal Gupta, Manuel V. Hermenegildo, Enrico Pontelli, Ricardo Rocha:
Parallel Logic Programming: A Sequel. CoRR abs/2111.11218 (2021)
2010 – 2019
- 2019
- [j30]Pedro Cabalar, Stefania Costantini, Giovanni De Gasperis, Andrea Formisano:
Multi-context systems in dynamic environments. Ann. Math. Artif. Intell. 86(1-3): 87-120 (2019) - [j29]Esra Erdem, Andrea Formisano, Germán Vidal, Fangkai Yang:
Introduction to the 35th International Conference on Logic Programming Special Issue. Theory Pract. Log. Program. 19(5-6): 630-635 (2019) - [c49]Stefania Costantini, Andrea Formisano:
Augmenting Datalog± with Customizable Metalogic Features for Powerful Ontological Reasoning. AI*IA 2019: 30-45 - [c48]Stefania Costantini, Andrea Formisano:
Augmenting Knowledge Representation and Reasoning Languages with Customizable Metalogic Features. CILC 2019: 14-29 - [c47]Agostino Dovier, Andrea Formisano, Flavio Vella:
GPU-Based Parallelism for ASP-Solving. DECLARE 2019: 3-23 - [e4]Bart Bogaerts, Esra Erdem, Paul Fodor, Andrea Formisano, Giovambattista Ianni, Daniela Inclezan, Germán Vidal, Alicia Villanueva, Marina De Vos, Fangkai Yang:
Proceedings 35th International Conference on Logic Programming (Technical Communications), ICLP 2019 Technical Communications, Las Cruces, NM, USA, September 20-25, 2019. EPTCS 306, 2019 [contents] - [i6]Esra Erdem, Andrea Formisano, Germán Vidal, Fangkai Yang:
Introduction to the 35th International Conference on Logic Programming Special Issue. CoRR abs/1908.03719 (2019) - [i5]Agostino Dovier, Andrea Formisano, Flavio Vella:
GPU-based parallelism for ASP-solving. CoRR abs/1909.01786 (2019) - 2018
- [j28]Stefania Costantini, Andrea Formisano:
Augmenting agent computational environments with quantitative reasoning modules and customisable bridge rules. Int. J. Agent Oriented Softw. Eng. 6(3/4): 245-274 (2018) - [j27]Stefano Bistarelli, Andrea Formisano, Marco Maratea:
23rd RCRA International workshop on "Experimental evaluation of algorithms for solving problems with combinatorial explosion". J. Exp. Theor. Artif. Intell. 30(4): 479-480 (2018) - [j26]Alessandro Dal Palù, Agostino Dovier, Andrea Formisano, Enrico Pontelli:
ASP Applications in Bio-informatics: A Short Tour. Künstliche Intell. 32(2-3): 157-164 (2018) - [c46]Stefania Costantini, Andrea Formisano, Valentina Pitoni:
Timed Memory in Resource-Bounded Agents. AI*IA 2018: 15-29 - [c45]Alessandro Dal Palù, Agostino Dovier, Andrea Formisano:
2D object reconstruction with ASP. CILC 2018: 132-146 - [p4]Alessandro Dal Palù, Agostino Dovier, Andrea Formisano, Enrico Pontelli:
Exploring life: answer set programming in bioinformatics. Declarative Logic Programming 2018: 359-412 - [p3]Agostino Dovier, Andrea Formisano, Enrico Pontelli:
Parallel Answer Set Programming. Handbook of Parallel Constraint Reasoning 2018: 237-282 - 2017
- [c44]Pedro Cabalar, Stefania Costantini, Andrea Formisano:
Multi-Context Systems: Dynamics and Evolution. ASPOCP@LPNMR 2017 - [c43]Andrea Formisano, Raffaella Gentilini, Flavio Vella:
Accelerating Energy Games Solvers on Modern Architectures. IA3@SC 2017: 12:1-12:4 - [i4]Andrea Formisano, Raffaella Gentilini, Flavio Vella:
Accelerating Energy Games Solvers on Modern Architectures. CoRR abs/1710.03647 (2017) - 2016
- [j25]Stefano Bistarelli, Andrea Formisano, Marco Maratea, Paolo Torroni:
Preface. Fundam. Informaticae 149(1-2): v-vii (2016) - [j24]Stefano Bistarelli, Andrea Formisano:
Theoretical Computer Science in Italy. Theor. Comput. Sci. 629: 1 (2016) - [j23]Stefania Costantini, Andrea Formisano:
Query answering in resource-based answer set semantics. Theory Pract. Log. Program. 16(5-6): 619-635 (2016) - [c42]Stefania Costantini, Andrea Formisano:
Augmenting Agent Computational Environments with Quantitative Reasoning Modules and Customizable Bridge Rules. AAMAS Workshops (Visionary Papers) 2016: 104-121 - [c41]Stefania Costantini, Andrea Formisano:
Augmenting Agent Computational Environments with Quantitative Reasoning Modules and Customizable Bridge Rules. EMAS@AAMAS 2016: 192-209 - [c40]Stefania Costantini, Andrea Formisano:
Budget-Constrained Reasoning in Agent Computational Environments: (Extended Abstract). AAMAS 2016: 1311-1312 - [c39]Alessandro Dal Palù, Agostino Dovier, Andrea Formisano, Alberto Policriti, Enrico Pontelli:
Logic Programming Applied to Genome Evolution in Cancer. CILC 2016: 148-157 - [c38]Stefania Costantini, Andrea Formisano:
Multi-Context Systems in Time. ECAI 2016: 1680-1681 - [c37]Agostino Dovier, Andrea Formisano, Enrico Pontelli, Flavio Vella:
A GPU Implementation of the ASP Computation. PADL 2016: 30-47 - [e3]Stefano Bistarelli, Andrea Formisano, Marco Maratea:
Proceedings of the 23rd RCRA International Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion 2016 (RCRA 2016) A workshop of the XV International Conference of the Italian Association for Artificial Intelligence (AI*IA 2016), Genova, Italy, November 28, 2016. CEUR Workshop Proceedings 1745, CEUR-WS.org 2016 [contents] - [i3]Stefania Costantini, Andrea Formisano:
Query Answering in Resource-Based Answer Set Semantics. CoRR abs/1608.01604 (2016) - 2015
- [j22]Stefania Costantini, Andrea Formisano:
Negation as a Resource: a Novel View on Answer Set Semantics. Fundam. Informaticae 140(3-4): 279-305 (2015) - [j21]Alessandro Dal Palù, Agostino Dovier, Andrea Formisano, Enrico Pontelli:
CUD@SAT: SAT solving on GPUs. J. Exp. Theor. Artif. Intell. 27(3): 293-316 (2015) - [c36]Agostino Dovier, Andrea Formisano, Enrico Pontelli, Flavio Vella:
Parallel Execution of the ASP Computation - an Investigation on GPUs. ICLP (Technical Communications) 2015 - [e2]Stefano Bistarelli, Andrea Formisano, Marco Maratea:
Proceedings of the 22nd RCRA International Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion 2015 (RCRA 2015) A workshop of the XIV International Conference of the Italian Association for Artificial Intelligence (AI*IA 2015), Ferrara, Italy, September 22, 2015. CEUR Workshop Proceedings 1451, CEUR-WS.org 2015 [contents] - 2014
- [c35]Stefania Costantini, Andrea Formisano:
Query Answering in Resource-Based Answer Set Semantics. CILC 2014: 69-83 - [c34]Andrea Formisano, Flavio Vella:
On multiple learning schemata in conflict driven solvers. ICTCS 2014: 133-146 - [c33]Stefano Bistarelli, Andrea Formisano:
Preface. ICTCS 2014: i-v - [e1]Stefano Bistarelli, Andrea Formisano:
Proceedings of the 15th Italian Conference on Theoretical Computer Science, Perugia, Italy, September 17-19, 2014. CEUR Workshop Proceedings 1231, CEUR-WS.org 2014 [contents] - 2013
- [j20]Dario Campagna, Andrea Formisano:
Product and Production Process Modeling and Configuration. Fundam. Informaticae 124(4): 403-425 (2013) - [j19]Stefania Costantini, Andrea Formisano:
Nested Weight Constraints in ASP. Fundam. Informaticae 124(4): 449-464 (2013) - [j18]Stefania Costantini, Andrea Formisano:
RASP and ASP as a fragment of linear logic. J. Appl. Non Class. Logics 23(1-2): 49-74 (2013) - [j17]Agostino Dovier, Andrea Formisano, Enrico Pontelli:
Autonomous agents coordination: Action languages meet CLP() and Linda. Theory Pract. Log. Program. 13(2): 149-173 (2013) - [c32]Stefania Costantini, Andrea Formisano:
Negation as a Resource: a Novel View on Answer Set Semantics. CILC 2013: 17-31 - [c31]Flavio Vella, Alessandro Dal Palù, Agostino Dovier, Andrea Formisano, Enrico Pontelli:
CUD@ASP: Experimenting with GPGPUs in ASP solving. CILC 2013: 163-177 - [c30]Stefania Costantini, Andrea Formisano:
Negation as a Resource: A Novel View on Answer Set Semantics. LPNMR 2013: 257-263 - 2012
- [j16]Domenico Cantone, Andrea Formisano, Marianna Nicolosi Asmundo, Eugenio Giovanni Omodeo:
A graphical representation of relational formulae with complementation. RAIRO Theor. Informatics Appl. 46(2): 261-289 (2012) - [j15]Alfredo Navarra, Maria Cristina Pinotti, Andrea Formisano:
Distributed colorings for collision-free routing in sink-centric sensor networks. J. Discrete Algorithms 14: 232-247 (2012) - [c29]Stefania Costantini, Andrea Formisano, David Pearce:
Strong Equivalence of RASP Programs. Correct Reasoning 2012: 149-163 - [c28]Stefania Costantini, Andrea Formisano:
Preferences and Priorities in ASP. CILC 2012: 47-58 - [c27]Alessandro Dal Palù, Agostino Dovier, Andrea Formisano, Enrico Pontelli:
Exploiting Unexploited Computing Resources for Computational Logics. CILC 2012: 74-88 - 2011
- [c26]Stefania Costantini, Andrea Formisano:
Augmenting Weight Constraints with Complex Preferences. AAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning 2011 - [c25]Agostino Dovier, Andrea Formisano, Enrico Pontelli:
Perspectives on Logic-Based Approaches for Reasoning about Actions and Change. Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning 2011: 259-279 - [c24]Dario Campagna, Andrea Formisano:
ProdProc - Product and Production Process Modeling and Configuration. CILC 2011: 261-279 - [c23]Stefania Costantini, Andrea Formisano:
Nested Weight Constraints in ASP. CILC 2011: 371-383 - [c22]Agostino Dovier, Andrea Formisano, Enrico Pontelli:
BAAC: A Prolog System for Action Description and Agents Coordination. ICLP (Technical Communications) 2011: 187-197 - [c21]Stefania Costantini, Andrea Formisano:
Weight Constraints with Preferences in ASP. LPNMR 2011: 229-235 - [i2]Agostino Dovier, Andrea Formisano, Enrico Pontelli:
Autonomous Agents Coordination: Action Languages meet CLP(FD) and Linda. CoRR abs/1110.0624 (2011) - 2010
- [j14]Stefania Costantini, Andrea Formisano, Davide Petturiti:
Extending and Implementing RASP. Fundam. Informaticae 105(1-2): 1-33 (2010) - [j13]Agostino Dovier, Andrea Formisano, Enrico Pontelli:
An Investigation of Multi-Agent Planning in CLP. Fundam. Informaticae 105(1-2): 79-103 (2010) - [j12]Stefania Costantini, Andrea Formisano:
Answer Set Programming with Resources. J. Log. Comput. 20(2): 533-571 (2010) - [j11]Agostino Dovier, Andrea Formisano, Enrico Pontelli:
Multivalued action languages with constraints in CLP(FD). Theory Pract. Log. Program. 10(2): 167-235 (2010) - [c20]Agostino Dovier, Andrea Formisano, Enrico Pontelli:
Autonomous Agents Coordination: Action Description Languages Meet CLP(FD) and Linda. CILC 2010 - [p2]Andrea Formisano, Eugenio G. Omodeo:
Theory-Specific Automated Reasoning. 25 Years GULP 2010: 37-63
2000 – 2009
- 2009
- [j10]Stefania Costantini, Andrea Formisano:
Modeling preferences and conditional preferences on resource consumption and production in ASP. J. Algorithms 64(1): 3-15 (2009) - [j9]Agostino Dovier, Andrea Formisano, Enrico Pontelli:
An empirical study of constraint logic programming and answer set programming solutions of combinatorial problems. J. Exp. Theor. Artif. Intell. 21(2): 79-121 (2009) - [c19]Agostino Dovier, Andrea Formisano, Enrico Pontelli:
Representing Multi-agent Planning in CLP. LPNMR 2009: 423-429 - [i1]Agostino Dovier, Andrea Formisano, Enrico Pontelli:
Multi-valued Action Languages in CLP(FD). CoRR abs/0912.2846 (2009) - 2008
- [j8]Andrea Capotorti, Andrea Formisano:
Comparative uncertainty: theory and automation. Math. Struct. Comput. Sci. 18(1): 57-79 (2008) - [c18]Stefania Costantini, Andrea Formisano:
Conditional preferences in P-RASP. LA-NMR 2008 - 2007
- [c17]Agostino Dovier, Andrea Formisano, Enrico Pontelli:
An Experimental Comparison of Constraint Logic Programming and Answer Set Programming. AAAI 2007: 1622-1625 - [c16]Agostino Dovier, Andrea Formisano, Enrico Pontelli:
Multivalued Action Languages with Constraints in CLP(FD). ICLP 2007: 255-270 - 2006
- [j7]Andrea Formisano, Marianna Nicolosi Asmundo:
An efficient relational deductive system for propositional non-classical logics. J. Appl. Non Class. Logics 16(3-4): 367-408 (2006) - [j6]Agostino Dovier, Andrea Formisano, Eugenio G. Omodeo:
Decidability results for sets with atoms. ACM Trans. Comput. Log. 7(2): 269-301 (2006) - [c15]Andrea Capotorti, Andrea Formisano, Gianfranco Murador:
Qualitative Uncertainty Orderings Revised. LMCS 2006: 43-59 - [p1]Andrea Formisano, Eugenio G. Omodeo, Ewa Orlowska:
An Environment for Specifying Properties of Dyadic Relations and Reasoning About Them II: Relational Presentation of Non-classical Logics. Theory and Applications of Relational Structures as Knowledge Instruments 2006: 89-104 - 2005
- [b1]Andrea Formisano:
Theory-based resolution and automated set reasoning. Sapienza University of Rome, Italy, 2005 - [j5]Andrea Formisano, Eugenio G. Omodeo, Alberto Policriti:
The axiom of elementary sets on the edge of Peircean expressibility. J. Symb. Log. 70(3): 953-968 (2005) - [c14]Agostino Dovier, Andrea Formisano, Enrico Pontelli:
A Comparison of CLP(FD) and ASP Solutions to NP-Complete Problems. ICLP 2005: 67-82 - 2004
- [j4]Andrea Formisano, Eugenio G. Omodeo, Alberto Policriti:
Three-variable statements of set-pairing. Theor. Comput. Sci. 322(1): 147-173 (2004) - 2003
- [j3]Domenico Cantone, Andrea Formisano, Eugenio G. Omodeo, Calogero G. Zarba:
Compiling dyadic first-order specifications into map algebra. Theor. Comput. Sci. 293(2): 447-475 (2003) - [c13]Stefania Costantini, Andrea Formisano, Eugenio G. Omodeo:
Mappings Between Domain Models in Answer Set Programming. APPIA-GULP-PRODE 2003: 147-158 - [c12]Stefania Costantini, Andrea Formisano, Eugenio G. Omodeo:
Mappings Between Domain Models in Answer Set Programming. Answer Set Programming 2003 - 2002
- [c11]Andrea Formisano, Eugenio G. Omodeo, Alberto Policriti:
Automation of Aggregate Theories: The Cornerstones of Equational Expressibility. APPIA-GULP-PRODE 2002: 275- - 2001
- [c10]Agostino Dovier, Andrea Formisano, Eugenio G. Omodeo:
Decidability results for sets with atoms. APPIA-GULP-PRODE 2001: 245-259 - [c9]Andrea Formisano, Eugenio G. Omodeo, Marco Temperini:
Instructing Equational Set-Reasoning with Otter. IJCAR 2001: 152-167 - [c8]Andrea Formisano, Eugenio G. Omodeo, Marco Temperini:
Layered map reasoning: An experimental approach put to trial on sets. APPIA-GULP-PRODE 2001: 1-28 - [c7]Andrea Formisano, Eugenio G. Omodeo, Marta Simeoni:
A graphical approach to relational reasoning. RelMiS 2001: 153-174 - [c6]Andrea Formisano, Marta Simeoni:
An AGG Application Supporting Visual Reasoning. GT-VMT@ICALP 2001: 302-309 - 2000
- [j2]Andrea Formisano, Eugenio G. Omodeo, Marco Temperini:
Goals and Benchmarks for Automated Map Reasoning. J. Symb. Comput. 29(2): 259-297 (2000)
1990 – 1999
- 1999
- [j1]Andrea Formisano, Alberto Policriti:
T-Resolution: Refinements and Model Elimination. J. Autom. Reason. 22(4): 433-483 (1999) - [c5]Andrea Formisano:
Proving the completeness of theory-based variants of resolution. APPIA-GULP-PRODE 1999: 59-74 - 1998
- [c4]Andrea Formisano, Eugenio G. Omodeo, Marco Temperini:
Plan of Activities on the Map Calculus. APPIA-GULP-PRODE 1998: 343-356 - [c3]Andrea Formisano, Eugenio G. Omodeo:
An Equational Re-engineering of Set Theories. FTP (LNCS Selection) 1998: 175-190 - 1997
- [c2]Agostino Dovier, Andrea Formisano, Alberto Policriti:
On T Logic Programming. APPIA-GULP-PRODE 1997: 457-466 - [c1]Agostino Dovier, Andrea Formisano, Alberto Policriti:
On T Logic Programming. ILPS 1997: 323-337
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-11-04 20:45 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint