Concepedia

Paolo Ferraris

PF

11

Publications

809

Citations

11

H-Index

2000

Active since

Affiliations

The University of Texas at Austin(Current)

Arizona State University

Google (United States)

Paolo Ferraris is an author at The University of Texas at Austin specializing in automated reasoning, engineering, and answer set programming.

Top concepts

EngineeringAutomated ReasoningSemanticsFormal MethodsComputer ScienceLogic ProgrammingAnswer Set ProgrammingMathematical ProgrammingStabilityFormal Verification

Publications per year

2000–2011

11

Publications

11

Stable models and circumscription

Paolo Ferraris, Joohyung Lee, Vladimir Lifschitz · Artificial Intelligence · 2010 · 194 citations

Model Theory, Mathematical Model, Stable Models +2

Weight constraints as nested expressions

Paolo Ferraris, Vladimir Lifschitz · Theory and Practice of Logic Programming · 2005 · 136 citations

Mathematical Programming, Engineering, Well-founded Semantics +16

A new perspective on stable models

Paolo Ferraris, Joohyung Lee, Vladimir Lifschitz · 2007 · 119 citations

Propositional theories are strongly equivalent to logic programs

Pedro Cabalar, Paolo Ferraris · Theory and Practice of Logic Programming · 2007 · 85 citations

Non-classical Logic, Equilibrium Logic, Engineering +9

Logic programs with propositional connectives and aggregates

Paolo Ferraris · ACM Transactions on Computational Logic · 2011 · 64 citations

Applied Logic, Engineering, Automated Reasoning +12

Rows per page

1–5 of 11