Enrico Giunchiglia
机构: DIBRIS - Università di Genova
每年引用次数
引用次数
引用: 8,124
H-指数: 43
I10-指数 : 80
出版物: 197
Planning as satisfiability with preferences
Enrico Giunchiglia , Marco Maratea
national conference on artificial intelligence 987 -992
36
2007
Reasoning with Quantified Boolean Formulas.
Enrico Giunchiglia , Paolo Marin , Massimo Narizzano ,
Handbook of Satisfiability 761 -780
38
2009
An Experimental Study of Search Strategies and Heuristics in Answer Set Programming.
Enrico Giunchiglia , Marco Maratea , ASP05 Bath
Answer Set Programming
2005
Agents as Reasoners, Observers or Arbitrary Believers
Enrico Giunchiglia , Fausto Giunchiglia , Luciano Serafini
ICMAS 448
1995
Theory and applications of satisfiability testing : 6th International Conference, SAT 2003, Santa Margherita Ligure, Italy, May 5-8, 2003 : selected revised papers
Enrico Giunchiglia , Armando Tacchella ,
Springer
2004
Experiments with SAT-based Answer Set Programming
Enrico Giunchiglia , Marco Maratea , Yuliya Lierler , A. Tacchella
1
2006
Planning as Satisfiability with Expressive Action Languages: Concurrency, Constraints and Nondeterminism.
Enrico Giunchiglia
principles of knowledge representation and reasoning 657 -666
34
2000
Logics For Artificial Intelligence.
Enrico Giunchiglia , Luigia Carlucci Aiello , Luciano Serafini
Intelligenza Artificiale 3 7 -13
2006
Building complex derived inference rules: a decider for the class of prenex universal-existential formulas
Enrico Giunchiglia , Fausto Giunchiglia
european conference on artificial intelligence 607 -609
8
1988
Contexts, locality and generality
Enrico Giunchiglia , Fausto Giunchiglia , Paolo Bouquet
soft computing 3 ( 1) 47 -57
1
1996
A Set of Hierarchically Structured Decision Procedures for Some Subclasses of First Order Logic.
Enrico Giunchiglia
scandinavian conference on ai 84 -89
2
1991
Improvements to SAT-Based Conformant Planning
Enrico Giunchiglia , Armando Tacchella , Claudio Castellini
Sixth European Conference on Planning
7
2014
Modeling and reasoning about business processes under authorization constraints: a planning-based approach
Enrico Giunchiglia , Marco Maratea , Serena E. Ponta , Alessandro Armando
international conference on automated planning and scheduling 468 -469
1
2013
A new Approach for Solving Satisfiability Problems with Qualitative Preferences
Enrico Giunchiglia , Marco Maratea , Emanuele Di Rosa
european conference on artificial intelligence 510 -514
16
2008
A SAT-Based Polynomial Space Algorithm for Answer Set Programming
Enrico Giunchiglia , Marco Maratea , Yuliya Lierler
non-monotonic reasoning 189 -196
4
2004
Automatic test-pattern generation for grey-box programs
Enrico Giunchiglia , Massimo Narizzano , Ali Khalili , Armando Tacchella
automation of software test 33 -37
2015
Evaluation of Knowledge Sharing Strategies in a Parallel QBF Solver
Enrico Giunchiglia , Massimo Narizzano , Tobias Schubert , Paolo Marin
RCRA@AI*IA
2009
An action language based on causal explanation: preliminary report
Enrico Giunchiglia , Vladimir Lifschitz
national conference on artificial intelligence 623 -630
290
1998
A Pseudo-Boolean approach for solving planning problems with IPC simple preferences
Enrico Giunchiglia , Marco Maratea
ICAPS 2010 Workshop on Constraint Satisfaction Techniques for Planning and Scheduling Problems (COPLAS 2010) 23 -32
3
2010