Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Andrea Formisano" ( http://dblp.L3S.de/Authors/Andrea_Formisano )

  Author page on DBLP  Author page in RDF  Community of Andrea Formisano in ASPL-2

Publication years (Num. hits)
1997-2004 (15) 2005-2010 (18) 2011 (5)
Publication types (Num. hits)
article(20) inproceedings(18)
Venues (Conferences, Journals, ...)
APPIA-GULP-PRODE(4) Electr. Notes Theor. Comput. S...(4) CoRR(2) Fundam. Inform.(2) ICLP(2) LPNMR(2) Theor. Comput. Sci.(2) 25 Years GULP(1) AAAI(1) AAAI Spring Symposium: Logical...(1) ACM Trans. Comput. Log.(1) Answer Set Programming(1) FTP (LNCS Selection)(1) ICLP (Technical Communications...(1) IJCAR(1) ILPS(1) More (+10 of total 27)
Authors
Andrea Formisano(38) Agostino Dovier(14) Eugenio G. Omodeo(14) Enrico Pontelli(11) Stefania Costantini(7) Alberto Policriti(5) Marco Temperini(4) Andrea Capotorti(2) Marta Simeoni(2) Calogero G. Zarba(1) Davide Petturiti(1) Domenico Cantone(1) Ewa Orlowska(1) Gianfranco Murador(1) Marianna Nicolosi Asmundo(1)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 8 occurrences of 8 keywords
Results
Found 38 publication records. Showing 38 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
1Agostino Dovier, Andrea Formisano, Enrico Pontelli Autonomous Agents Coordination: Action Languages meet CLP(FD) and Linda Search on Bibsonomy CoRR The full citation details ... 2011 DBLP  BibTeX  RDF
1Agostino Dovier, Andrea Formisano, Enrico Pontelli BAAC: A Prolog System for Action Description and Agents Coordination. Search on Bibsonomy ICLP (Technical Communications) The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Stefania Costantini, Andrea Formisano Augmenting Weight Constraints with Complex Preferences. Search on Bibsonomy AAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning The full citation details ... 2011 DBLP  BibTeX  RDF
1Stefania Costantini, Andrea Formisano Weight Constraints with Preferences in ASP. Search on Bibsonomy LPNMR The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Agostino Dovier, Andrea Formisano, Enrico Pontelli Perspectives on Logic-Based Approaches for Reasoning about Actions and Change. Search on Bibsonomy Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Stefania Costantini, Andrea Formisano Answer Set Programming with Resources. Search on Bibsonomy J. Log. Comput. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Stefania Costantini, Andrea Formisano, Davide Petturiti Extending and Implementing RASP. Search on Bibsonomy Fundam. Inform. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Agostino Dovier, Andrea Formisano, Enrico Pontelli An Investigation of Multi-Agent Planning in CLP. Search on Bibsonomy Fundam. Inform. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Agostino Dovier, Andrea Formisano, Enrico Pontelli Multivalued action languages with constraints in CLP(FD). Search on Bibsonomy TPLP The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Andrea Formisano, Eugenio G. Omodeo Theory-Specific Automated Reasoning. Search on Bibsonomy 25 Years GULP The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Agostino Dovier, Andrea Formisano, Enrico Pontelli An empirical study of constraint logic programming and answer set programming solutions of combinatorial problems. Search on Bibsonomy J. Exp. Theor. Artif. Intell. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Stefania Costantini, Andrea Formisano Modeling preferences and conditional preferences on resource consumption and production in ASP. Search on Bibsonomy J. Algorithms The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Agostino Dovier, Andrea Formisano, Enrico Pontelli Multi-valued Action Languages in CLP(FD) Search on Bibsonomy CoRR The full citation details ... 2009 DBLP  BibTeX  RDF
1Agostino Dovier, Andrea Formisano, Enrico Pontelli Representing Multi-agent Planning in CLP. Search on Bibsonomy LPNMR The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Andrea Capotorti, Andrea Formisano Comparative uncertainty: theory and automation. Search on Bibsonomy Mathematical Structures in Computer Science The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Andrea Capotorti, Andrea Formisano, Gianfranco Murador Qualitative Uncertainty Orderings Revised. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Agostino Dovier, Andrea Formisano, Enrico Pontelli Multivalued Action Languages with Constraints in CLP(FD). Search on Bibsonomy ICLP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Agostino Dovier, Andrea Formisano, Enrico Pontelli An Experimental Comparison of Constraint Logic Programming and Answer Set Programming. Search on Bibsonomy AAAI The full citation details ... 2007 DBLP  BibTeX  RDF
1Andrea Formisano, Marianna Nicolosi Asmundo An efficient relational deductive system for propositional non-classical logics. Search on Bibsonomy Journal of Applied Non-Classical Logics The full citation details ... 2006 DBLP  BibTeX  RDF
1Agostino Dovier, Andrea Formisano, Eugenio G. Omodeo Decidability results for sets with atoms. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Prenex sentences, set-hyperset theories, syllogistics, unification, quantifier elimination, satisfiability problem
1Andrea 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. Search on Bibsonomy Theory and Applications of Relational Structures as Knowledge Instruments The full citation details ... 2006 DBLP  DOI  BibTeX  RDF translation methods, modal logic, Relational systems
1Andrea Formisano, Eugenio G. Omodeo, Alberto Policriti The axiom of elementary sets on the edge of Peircean expressibility. Search on Bibsonomy J. Symb. Log. The full citation details ... 2005 DBLP  BibTeX  RDF
1Agostino Dovier, Andrea Formisano, Enrico Pontelli A Comparison of CLP(FD) and ASP Solutions to NP-Complete Problems. Search on Bibsonomy ICLP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Andrea Formisano, Eugenio G. Omodeo, Alberto Policriti Three-variable statements of set-pairing. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Domenico Cantone, Andrea Formisano, Eugenio G. Omodeo, Calogero G. Zarba Compiling dyadic first-order specifications into map algebra. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Stefania Costantini, Andrea Formisano, Eugenio G. Omodeo Mappings Between Domain Models in Answer Set Programming. Search on Bibsonomy APPIA-GULP-PRODE The full citation details ... 2003 DBLP  BibTeX  RDF
1Stefania Costantini, Andrea Formisano, Eugenio G. Omodeo Mappings Between Domain Models in Answer Set Programming. Search on Bibsonomy Answer Set Programming The full citation details ... 2003 DBLP  BibTeX  RDF
1Andrea Formisano, Eugenio G. Omodeo, Marta Simeoni A graphical approach to relational reasoning. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Andrea Formisano, Eugenio G. Omodeo, Marco Temperini Layered map reasoning: An experimental approach put to trial on sets. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Andrea Formisano, Marta Simeoni An AGG Application Supporting Visual Reasoning. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Andrea Formisano, Eugenio G. Omodeo, Marco Temperini Instructing Equational Set-Reasoning with Otter. Search on Bibsonomy IJCAR The full citation details ... 2001 DBLP  DOI  BibTeX  RDF Set reasoning, map algebra, first-order theorem proving
1Andrea Formisano, Eugenio G. Omodeo, Marco Temperini Goals and Benchmarks for Automated Map Reasoning. Search on Bibsonomy J. Symb. Comput. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Andrea Formisano, Alberto Policriti T-Resolution: Refinements and Model Elimination. Search on Bibsonomy J. Autom. Reasoning The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Andrea Formisano Proving the completeness of theory-based variants of resolution. Search on Bibsonomy APPIA-GULP-PRODE The full citation details ... 1999 DBLP  BibTeX  RDF
1Andrea Formisano, Eugenio G. Omodeo, Marco Temperini Plan of Activities on the Map Calculus. Search on Bibsonomy APPIA-GULP-PRODE The full citation details ... 1998 DBLP  BibTeX  RDF
1Andrea Formisano, Eugenio G. Omodeo An Equational Re-engineering of Set Theories. Search on Bibsonomy FTP (LNCS Selection) The full citation details ... 1998 DBLP  DOI  BibTeX  RDF first-order theorem-proving, relation algebras, Set Theory, algebraic logic
1Agostino Dovier, Andrea Formisano, Alberto Policriti On T Logic Programming. Search on Bibsonomy APPIA-GULP-PRODE The full citation details ... 1997 DBLP  BibTeX  RDF
1Agostino Dovier, Andrea Formisano, Alberto Policriti On T Logic Programming. Search on Bibsonomy ILPS The full citation details ... 1997 DBLP  BibTeX  RDF
Displaying result #1 - #38 of 38 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.