default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDEnrico Giunchiglia
Person information
- affiliation: University of Genoa, Italy
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2025
[j37]Martin Gebser
, Enrico Giunchiglia, Marco Maratea, Marco Mochi:
A simple proof-theoretic characterization of stable models: Reduction to difference logic and experiments. Artif. Intell. 340: 104276 (2025)- 2024
- [c82]Matteo Cardellini, Enrico Giunchiglia, Marco Maratea:
Symbolic Numeric Planning with Patterns. AAAI 2024: 20070-20077 - [i4]Matteo Cardellini, Enrico Giunchiglia:
Temporal Numeric Planning with Patterns. CoRR abs/2412.09101 (2024) - 2023
- [c81]Enrico Giunchiglia, Marco Maratea, Marco Mochi:
A Simple Proof-Theoretic Characterization of Stable Models. IPS-RCRA-SPIRIT@AI*IA 2023 - [c80]Enrico Giunchiglia, Armando Tacchella:
Optimal Planning with Expressive Action Languages as Constraint Optimization. JELIA 2023: 621-637 - [c79]Ilenia D'Angelo, Lorenzo Morocutti, Enrico Giunchiglia, Carmine Recchiuto, Antonio Sgorbissa:
Nice and Nasty Theory of Mind for Social and Antisocial Robots. RO-MAN 2023: 1675-1682 - [i3]Enrico Giunchiglia, Joohyung Lee, Vladimir Lifschitz, Hudson Turner:
Causal Laws and Multi-Valued Fluents. CoRR abs/2307.10227 (2023) - [i2]Matteo Cardellini, Enrico Giunchiglia, Marco Maratea:
Symbolic Numeric Planning with Patterns. CoRR abs/2312.09963 (2023) - 2021
- [p2]Enrico Giunchiglia, Paolo Marin, Massimo Narizzano:
Reasoning with Quantified Boolean Formulas. Handbook of Satisfiability 2021: 1157-1176 - 2020
- [c78]Francesco Leofante, Enrico Giunchiglia, Erika Ábrahám, Armando Tacchella:
Optimal Planning Modulo Theories. IJCAI 2020: 4128-4134
2010 – 2019
- 2018
- [j36]Enrico Giunchiglia, Marco Maratea, Luca Pulina:
Translation-based approaches for solving disjunctive temporal problems with preferences. Constraints An Int. J. 23(4): 383-402 (2018) - 2016
- [j35]Paolo Marin, Massimo Narizzano, Luca Pulina, Armando Tacchella, Enrico Giunchiglia:
Twelve Years of QBF Evaluations: QSAT Is PSPACE-Hard and It Shows. Fundam. Informaticae 149(1-2): 133-158 (2016) - 2015
- [c77]Paolo Marin, Massimo Narizzano, Luca Pulina, Armando Tacchella, Enrico Giunchiglia:
An Empirical Perspective on Ten Years of QBF Solving. RCRA@AI*IA 2015: 62-75 - [c76]Ali Khalili, Massimo Narizzano, Armando Tacchella, Enrico Giunchiglia:
Automatic Test-Pattern Generation for Grey-Box Programs. AST@ICSE 2015: 33-37 - 2013
- [j34]Emanuele Di Rosa, Enrico Giunchiglia:
Combining approaches for solving satisfiability problems with qualitative preferences. AI Commun. 26(4): 395-408 (2013) - [c75]Alessandro Armando, Enrico Giunchiglia, Marco Maratea, Serena Elisa Ponta:
Modeling and Reasoning about Business Processes under Authorization Constraints: A Planning-Based Approach. ICAPS 2013 - [c74]Michael Cashmore, Maria Fox, Enrico Giunchiglia:
Partially Grounded Planning as Quantified Boolean Formula. ICAPS 2013 - 2012
- [j33]Alessandro Armando, Enrico Giunchiglia, Marco Maratea, Serena Elisa Ponta:
An action-based approach to the formal specification and automatic analysis of business processes under authorization constraints. J. Comput. Syst. Sci. 78(1): 119-141 (2012) - [c73]Enrico Giunchiglia, Marco Maratea:
Algorithms for Solving Satisfiability Problems with Qualitative Preferences. Correct Reasoning 2012: 327-344 - [c72]Michael Cashmore, Maria Fox, Enrico Giunchiglia:
Planning as Quantified Boolean Formula. ECAI 2012: 217-222 - 2011
- [j32]Matthew Lewis, Tobias Schubert, Bernd Becker, Paolo Marin, Massimo Narizzano, Enrico Giunchiglia:
Parallel QBF Solving with Advanced Knowledge Sharing. Fundam. Informaticae 107(2-3): 139-166 (2011) - [j31]Enrico Giunchiglia, Marco Maratea:
Introducing Preferences in Planning as Satisfiability. J. Log. Comput. 21(2): 205-229 (2011) - [c71]Emanuele Di Rosa, Enrico Giunchiglia, Barry O'Sullivan:
Optimal stopping methods for finding high quality solutions to satisfiability problems with preferences. SAC 2011: 901-906 - [i1]Enrico Giunchiglia, Massimo Narizzano, Armando Tacchella:
Clause/Term Resolution and Learning in the Evaluation of Quantified Boolean Formulas. CoRR abs/1111.0860 (2011) - 2010
- [j30]Emanuele Di Rosa, Enrico Giunchiglia, Marco Maratea:
Solving satisfiability problems with preferences. Constraints An Int. J. 15(4): 485-515 (2010) - [j29]Damiano Angeletti, Enrico Giunchiglia, Massimo Narizzano, Alessandra Puddu, Salvatore Sabina:
Using Bounded Model Checking for Coverage Analysis of Safety-Critical Software in an Industrial Setting. J. Autom. Reason. 45(4): 397-414 (2010) - [j28]Enrico Giunchiglia, Paolo Marin, Massimo Narizzano:
QuBE7.0. J. Satisf. Boolean Model. Comput. 7(2-3): 83-88 (2010) - [c70]Emanuele Di Rosa, Enrico Giunchiglia, Massimo Narizzano, Gabriele Palma, Alessandra Puddu:
Automatic generation of high quality test sets via CBMC. VERIFY@IJCAR 2010: 65-78 - [c69]Enrico Giunchiglia, Paolo Marin, Massimo Narizzano:
sQueezeBF: An Effective Preprocessor for QBFs Based on Equivalence Reasoning. SAT 2010: 85-98
2000 – 2009
- 2009
- [j27]Enrico Giunchiglia, Kostas Stergiou:
Introduction to the special issue on quantified CSPs and QBF. Constraints An Int. J. 14(1): 1-2 (2009) - [c68]Damiano Angeletti, Enrico Giunchiglia, Massimo Narizzano, Gabriele Palma, Alessandra Puddu, Salvatore Sabina:
Improving the Automatic Test Generation process for Coverage Analysis using CBMC. RCRA@AI*IA 2009 - [c67]Enrico Giunchiglia, Marco Maratea:
Improving Plan Quality in SAT-Based Planning. AI*IA 2009: 253-263 - [c66]Paolo Marin, Matthew Lewis, Tobias Schubert, Massimo Narizzano, Bernd Becker, Enrico Giunchiglia:
Evaluation of Knowledge Sharing Strategies in a Parallel QBF Solver. RCRA@AI*IA 2009 - [c65]Damiano Angeletti, Enrico Giunchiglia, Massimo Narizzano, Alessandra Puddu, Salvatore Sabina:
Automatic Test Generation for Coverage Analysis Using CBMC. EUROCAST 2009: 287-294 - [c64]Damiano Angeletti, Enrico Giunchiglia, Massimo Narizzano, Alessandra Puddu, Salvatore Sabina:
Automatic Test Generation for Coverage Analysis of ERTMS Software. ICST 2009: 303-306 - [c63]Paolo Marin, Massimo Narizzano, Enrico Giunchiglia, Matthew Lewis, Tobias Schubert, Bernd Becker:
Comparison of knowledge sharing strategies in a parallel QBF solver. HPCS 2009: 161-167 - [c62]Matthew Lewis, Paolo Marin, Tobias Schubert, Massimo Narizzano, Bernd Becker, Enrico Giunchiglia:
PaQuBE: Distributed QBF Solving with Advanced Knowledge Sharing. SAT 2009: 509-523 - [c61]Alessandro Armando, Enrico Giunchiglia, Serena Elisa Ponta:
Formal Specification and Automatic Analysis of Business Processes under Authorization Constraints: An Action-Based Approach. TrustBus 2009: 63-72 - [p1]Enrico Giunchiglia, Paolo Marin, Massimo Narizzano:
Reasoning with Quantified Boolean Formulas. Handbook of Satisfiability 2009: 761-780 - 2008
- [j26]Enrico Giunchiglia, Nicola Leone, Marco Maratea:
On the relation among answer set solvers. Ann. Math. Artif. Intell. 53(1-4): 169-204 (2008) - [c60]Emanuele Di Rosa, Enrico Giunchiglia, Marco Maratea:
Computing All Optimal Solutions in Satisfiability Problems with Preferences. CP 2008: 603-607 - [c59]Emanuele Di Rosa, Enrico Giunchiglia, Marco Maratea:
A new Approach for Solving Satisfiability Problems with Qualitative Preferences. ECAI 2008: 510-514 - [c58]Enrico Giunchiglia, Paolo Marin, Massimo Narizzano:
Preprocessing Techniques for QBFs. RCRA 2008 - 2007
- [j25]Enrico Giunchiglia, Massimo Narizzano, Armando Tacchella:
Quantifier Structure in Search-Based Procedures for QBFs. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 26(3): 497-507 (2007) - [c57]Enrico Giunchiglia, Marco Maratea:
Planning as Satisfiability with Preferences. AAAI 2007: 987-992 - [c56]Enrico Giunchiglia, Marco Maratea:
SAT-Based Planning with Minimal-#actions Plans and "soft" Goals. AI*IA 2007: 422-433 - 2006
- [j24]Luigia Carlucci Aiello, Enrico Giunchiglia, Luciano Serafini:
Logics For Artificial Intelligence. Intelligenza Artificiale 3(1-2): 7-13 (2006) - [j23]Enrico Giunchiglia, Massimo Narizzano, Armando Tacchella:
Clause/Term Resolution and Learning in the Evaluation of Quantified Boolean Formulas. J. Artif. Intell. Res. 26: 371-416 (2006) - [j22]Enrico Giunchiglia, Yuliya Lierler, Marco Maratea:
Answer Set Programming Based on Propositional Satisfiability. J. Autom. Reason. 36(4): 345-377 (2006) - [c55]Enrico Giunchiglia, Massimo Narizzano, Armando Tacchella:
Quantifier structure in search based procedures for QBFs. DATE 2006: 812-817 - [c54]Enrico Giunchiglia, Marco Maratea:
Solving Optimization Problems with DLL. ECAI 2006: 377-381 - [c53]Enrico Giunchiglia, Marco Maratea:
optsat: A Tool for Solving SAT Related Optimization Problems. JELIA 2006: 485-489 - 2005
- [j21]Alexander Nareyek, Eugene C. Freuder, Robert Fourer, Enrico Giunchiglia, Robert P. Goldman, Henry A. Kautz, Jussi Rintanen, Austin Tate:
Constraints and AI Planning. IEEE Intell. Syst. 20(2): 62-72 (2005) - [j20]Enrico Giunchiglia, Toby Walsh:
Satisfiability in the Year 2005. J. Autom. Reason. 35(1-3): 1-2 (2005) - [j19]Alessandro Armando, Claudio Castellini, Enrico Giunchiglia, Marco Maratea:
The SAT-based Approach to Separation Logic. J. Autom. Reason. 35(1-3): 237-263 (2005) - [c52]Enrico Giunchiglia, Marco Maratea:
Evaluating Search Strategies and Heuristics for Efficient Answer Set Programming. AI*IA 2005: 122-134 - [c51]Enrico Giunchiglia, Marco Maratea:
An Experimental Study of Search Strategies and Heuristics in Answer Set Programming. Answer Set Programming 2005 - [c50]Alessandro Armando, Claudio Castellini, Enrico Giunchiglia, Fausto Giunchiglia, Armando Tacchella:
SAT-Based Decision Procedures for Automated Reasoning: A Unifying Perspective. Mechanizing Mathematical Reasoning 2005: 46-58 - [c49]Fausto Giunchiglia, Mikalai Yatskevich, Enrico Giunchiglia:
Efficient Semantic Matching. ESWC 2005: 272-289 - [c48]Enrico Giunchiglia, Marco Maratea:
On the Relation Between Answer Set and SAT Procedures (or, Between cmodels and smodels). ICLP 2005: 37-51 - 2004
- [j18]Enrico Giunchiglia, Joohyung Lee, Vladimir Lifschitz, Norman McCain, Hudson Turner:
Nonmonotonic causal theories. Artif. Intell. 153(1-2): 49-104 (2004) - [j17]Salem Benferhat, Enrico Giunchiglia:
Editorial: Nonmonotonic Reasoning. Artif. Intell. 157(1-2): 1-3 (2004) - [j16]Enrico Giunchiglia, Nicola Muscettola, Dana S. Nau:
The 2003 International Conference on Automated Planning and Scheduling (ICAPS-03). AI Mag. 25(2): 129-132 (2004) - [c47]Enrico Giunchiglia, Yuliya Lierler, Marco Maratea:
SAT-Based Answer Set Programming. AAAI 2004: 61-66 - [c46]Enrico Giunchiglia, Massimo Narizzano, Armando Tacchella:
Monotone Literals and Learning in QBF Reasoning. CP 2004: 260-273 - [c45]Enrico Giunchiglia, Massimo Narizzano, Armando Tacchella:
QuBE++: An Efficient QBF Solver. FMCAD 2004: 201-213 - [c44]Enrico Giunchiglia, Yuliya Lierler, Marco Maratea:
A SAT-based polynomial space algorithm for answer set programming. NMR 2004: 189-196 - [c43]Alessandro Armando, Claudio Castellini, Enrico Giunchiglia, Marco Maratea:
A SAT-based Decision Procedure for the Boolean Combination of Difference Constraints. SAT 2004 - [c42]Alessandro Armando, Claudio Castellini, Enrico Giunchiglia, Marco Maratea:
A SAT-Based Decision Procedure for the Boolean Combination of Difference Constraints. SAT (Selected Papers 2004: 16-29 - [c41]Enrico Giunchiglia, Massimo Narizzano, Armando Tacchella:
QBF Reasoning on Real-World Instances. SAT 2004 - [c40]Enrico Giunchiglia, Massimo Narizzano, Armando Tacchella:
QBF Reasoning on Real-World Instances. SAT (Selected Papers 2004: 105-121 - [c39]Alessandro Armando, Claudio Castellini, Enrico Giunchiglia, Massimo Idini, Marco Maratea:
TSAT++: an Open Platform for Satisfiability Modulo Theories. D/PDPAR@IJCAR 2004: 25-36 - [e3]Enrico Giunchiglia, Armando Tacchella:
Theory and Applications of Satisfiability Testing, 6th International Conference, SAT 2003. Santa Margherita Ligure, Italy, May 5-8, 2003 Selected Revised Papers. Lecture Notes in Computer Science 2919, Springer 2004, ISBN 3-540-20851-8 [contents] - 2003
- [j15]Enrico Giunchiglia, Massimo Narizzano, Armando Tacchella:
Backjumping for Quantified Boolean Logic satisfiability. Artif. Intell. 145(1-2): 99-120 (2003) - [j14]Claudio Castellini, Enrico Giunchiglia, Armando Tacchella:
SAT-based planning in complex domains: Concurrency, constraints and nondeterminism. Artif. Intell. 147(1-2): 85-117 (2003) - [c38]Enrico Giunchiglia, Marco Maratea, Armando Tacchella:
(In)Effectiveness of Look-Ahead Techniques in a Modern SAT Solver. CP 2003: 842-846 - [c37]Ian P. Gent, Enrico Giunchiglia, Massimo Narizzano, Andrew G. D. Rowley, Armando Tacchella:
Watched Data Structures for QBF Solvers. SAT 2003: 25-36 - [e2]Enrico Giunchiglia, Nicola Muscettola, Dana S. Nau:
Proceedings of the Thirteenth International Conference on Automated Planning and Scheduling (ICAPS 2003), June 9-13, 2003, Trento, Italy. AAAI 2003, ISBN 1-57735-187-8 [contents] - 2002
- [j13]Enrico Giunchiglia, Armando Tacchella, Fausto Giunchiglia:
SAT-Based Decision Procedures for Classical Modal Logics. J. Autom. Reason. 28(2): 143-171 (2002) - [c36]Enrico Giunchiglia, Massimo Narizzano, Armando Tacchella:
Learning for Quantified Boolean Logic Satisfiability. AAAI/IAAI 2002: 649-654 - [c35]Alessandro Cimatti, Edmund M. Clarke, Enrico Giunchiglia, Fausto Giunchiglia, Marco Pistore, Marco Roveri, Roberto Sebastiani, Armando Tacchella:
NuSMV 2: An OpenSource Tool for Symbolic Model Checking. CAV 2002: 359-364 - [c34]Alessandro Cimatti, Enrico Giunchiglia, Marco Pistore, Marco Roveri, Roberto Sebastiani, Armando Tacchella:
Integrating BDD-Based and SAT-Based Symbolic Model Checking. FroCoS 2002: 49-56 - [c33]Enrico Giunchiglia, Marco Maratea, Armando Tacchella:
Dependent and Independent Variables in Propositional Satisfiability. JELIA 2002: 296-307 - [e1]Salem Benferhat, Enrico Giunchiglia:
9th International Workshop on Non-Monotonic Reasoning (NMR 2002), April 19-21, Toulouse, France, Proceedings. 2002 [contents] - 2001
- [j12]Enrico Giunchiglia, Armando Tacchella:
A Subset-Matching Size-Bounded Cache for Testing Satisfiability in Modal Logics. Ann. Math. Artif. Intell. 33(1): 39-67 (2001) - [j11]Enrico Giunchiglia, Massimo Narizzano, Armando Tacchella, Moshe Y. Vardi:
Towards an Efficient Library for SAT: a Manifesto. Electron. Notes Discret. Math. 9: 290-310 (2001) - [j10]Enrico Giunchiglia, Fausto Giunchiglia:
Ideal and Real Belief about Belief. J. Log. Comput. 11(1): 157-192 (2001) - [c32]Enrico Giunchiglia, Massimo Narizzano, Armando Tacchella:
An Analysis of Backjumping and Trivial Truth in Quantified Boolean Formulas Satisfiability. AI*IA 2001: 111-122 - [c31]Enrico Giunchiglia, Marco Maratea, Armando Tacchella, Davide Zambonin:
Evaluating Search Heuristics and Optimization Techniques in Propositional Satisfiability. IJCAR 2001: 347-363 - [c30]Enrico Giunchiglia, Massimo Narizzano, Armando Tacchella:
QUBE: A System for Deciding Quantified Boolean Formulas Satisfiability. IJCAR 2001: 364-369 - [c29]Fady Copty, Limor Fix, Ranan Fraer, Enrico Giunchiglia, Gila Kamhi, Armando Tacchella, Moshe Y. Vardi:
Benefits of Bounded Model Checking at an Industrial Setting. CAV 2001: 436-453 - [c28]Enrico Giunchiglia, Massimo Narizzano, Armando Tacchella:
Backjumping for Quantified Boolean Logic Satisfiability. IJCAI 2001: 275-281 - 2000
- [j9]Enrico Giunchiglia, Fausto Giunchiglia, Roberto Sebastiani, Armando Tacchella:
SAT vs. translation based decision procedures for modal logics: a comparative evaluation. J. Appl. Non Class. Logics 10(2): 145-172 (2000) - [c27]Paolo Ferraris, Enrico Giunchiglia:
Planning as Satisfiability in Nondeterministic Domains. AAAI/IAAI 2000: 748-753 - [c26]Enrico Giunchiglia, Armando Tacchella:
System Description: *SAT: A Platform for the Development of Modal Decision Procedures. CADE 2000: 291-296 - [c25]Enrico Giunchiglia:
Planning as Satisfiability with Expressive Action Languages: Concurrency, Constraints and Nondeterminism. KR 2000: 657-666 - [c24]Enrico Giunchiglia, Armando Tacchella:
A Subset-Matching Size-Bounded Cache for Satisfiability in Modal Logics. TABLEAUX 2000: 237-251
1990 – 1999
- 1999
- [j8]Massimo Benerecetti, Enrico Giunchiglia, Luciano Serafini, Adolfo Villafiorita:
Formal specification of beliefs in multi-agent systems. Int. J. Intell. Syst. 14(10): 1021-1040 (1999) - [c23]Enrico Giunchiglia, Roberto Sebastiani:
Applying the Davis-Putnam Procedure to Non-clausal Formulas. AI*IA 1999: 84-94 - [c22]Enrico Giunchiglia, Fausto Giunchiglia, Armando Tacchella:
The SAT-Based Approach for Classical Modal Logics. AI*IA 1999: 95-106 - [c21]Enrico Giunchiglia, Fausto Giunchiglia, Armando Tacchella:
*SAT, KSATC, DLP and TA: a comparative analysis. Description Logics 1999 - [c20]Alessandro Armando, Claudio Castellini, Enrico Giunchiglia:
SAT-Based Procedures for Temporal Reasoning. ECP 1999: 97-108 - 1998
- [c19]Enrico Giunchiglia, Vladimir Lifschitz:
An Action Language Based on Causal Explanation: Preliminary Report. AAAI/IAAI 1998: 623-630 - [c18]Enrico Giunchiglia, Alessandro Massarotto, Roberto Sebastiani:
Act, and the Rest Will Follow: Exploiting Determinism in Planning as Satisfiability. AAAI/IAAI 1998: 948-953 - [c17]Mauro Di Manzo, Enrico Giunchiglia, Simone Ruffino:
Planning via Model Checking in Deterministic Domains: Preliminary Report. AIMSA 1998: 221-229 - [c16]Enrico Giunchiglia, Fausto Giunchiglia, Roberto Sebastiani, Armando Tacchella:
More Evaluation of Decision Procedures for Modal Logics. KR 1998: 626-635 - 1997
- [j7]Enrico Giunchiglia, G. Neelakantan Kartha, Vladimir Lifschitz:
Representing Action: Indeterminacy and Ramifications. Artif. Intell. 95(2): 409-438 (1997) - [c15]Alessandro Cimatti, Fausto Giunchiglia, Enrico Giunchiglia, Paolo Traverso:
Planning via Model Checking: A Decision Procedure for AR. ECP 1997: 130-142 - 1996
- [j6]Fausto Giunchiglia, Enrico Giunchiglia, Tom Costello, Paolo Bouquet:
Dealing with expected and unexpected obstacles. J. Exp. Theor. Artif. Intell. 8(2): 173-190 (1996) - [j5]Enrico Giunchiglia, Alessandro Armando, Paolo Traverso, Alessandro Cimatti:
Visual representation of natural language scene descriptions. IEEE Trans. Syst. Man Cybern. Part B 26(4): 575-589 (1996) - [c14]Massimo Benerecetti, Alessandro Cimatti, Enrico Giunchiglia, Fausto Giunchiglia, Luciano Serafini:
Formal Specification of Beliefs in Multi-Agent Systems. ATAL 1996: 117-130 - [c13]Enrico Giunchiglia, Fausto Giunchiglia:
Ideal and Real Belief about Belief. FAPR 1996: 261-275 - [c12]Enrico Giunchiglia:
Determining Ramifications in the Situation Calculus. KR 1996: 76-86 - [c11]Fausto Giunchiglia, Enrico Giunchiglia:
Ideal and Real Belief aobout Belief: Some Intuitions. MAAMAW 1996: 1-12 - 1995
- [j4]Enrico Giunchiglia, Alessandro Armando, Paolo Pecchiari:
Structured Proof Procedures. Ann. Math. Artif. Intell. 15(1): 1-18 (1995) - [j3]Enrico Giunchiglia, Paolo Traverso:
A multicontext architecture for formalizing complex reasoning. Int. J. Intell. Syst. 10(5): 501-539 (1995) - [c10]Enrico Giunchiglia, Fausto Giunchiglia, Luciano Serafini:
Agents as Reasoners, Observers or Believers. AI*IA 1995: 414-425 - [c9]Enrico Giunchiglia, Fausto Giunchiglia, Luciano Serafini:
Agents as Reasoners, Observers, or Arbitrary Believers. ICMAS 1995: 448 - [c8]Enrico Giunchiglia, Vladimir Lifschitz:
Dependent Fluents. IJCAI 1995: 1964-1969 - 1994
- [j2]Paolo Traverso, Alessandro Cimatti, Luca Spalazzi, Alessandro Armando, Enrico Giunchiglia:
MRG: Building planers for real-world complex applications. Appl. Artif. Intell. 8(3): 333-357 (1994) - 1993
- [j1]Alessandro Armando, Enrico Giunchiglia:
Embedding Complex Decision Procedures Inside an Interactive Theorem Prover. Ann. Math. Artif. Intell. 8(3-4): 475-502 (1993) - [c7]Mauro Di Manzo, Enrico Giunchiglia, Alessandro Armando, Paolo Pecchiari:
Proving Formulas through Reduction to Decidable Classes. AI*IA 1993: 1-10 - [c6]Fausto Giunchiglia, Luciano Serafini, Enrico Giunchiglia, Marcello Frixione:
Non-Omniscient Belief as Context-Based Resoning. IJCAI 1993: 548-554 - [c5]Mauro Di Manzo, Enrico Giunchiglia:
Multi-Context Systems as a Tool to Model Temporal Evolution. ISMIS 1993: 548-557 - 1992
- [c4]Paolo Traverso, Alessandro Armando, Enrico Giunchiglia:
A Knowledge Based System for Automatic 3D Scene. AIMSA 1992: 255-264 - 1991
- [c3]Enrico Giunchiglia:
A Set of Hierarchically Structured Decision Procedures for Some Subclasses of First Order Logic. SCAI 1991: 84-89 - 1990
- [c2]Enrico Giunchiglia, D. Tezza:
Reasoning About Time in Qualitative Modeling. Modelling the Innovation 1990: 373-382
1980 – 1989
- 1988
- [c1]Fausto Giunchiglia, Enrico Giunchiglia:
Building Complex Derived Inference Rules: A Decider for the Class of Prenex Universal-Existential Formulas. ECAI 1988: 607-609
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 2025-01-26 23: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
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
