5.2k citations
- Courant Institute of Mathematical SciencesUS5 papers
- University of Illinois Urbana-ChampaignUS4 papers
- New York UniversityUS3 papers
- Bharathidasan UniversityIN2 papers
- Columbia UniversityUS2 papers
- Cornell UniversityUS2 papers
- Laboratory for Atmospheric and Space PhysicsUS2 papers
- Massachusetts Institute of TechnologyUS2 papers
- Microsoft Research (India)IN2 papers
- Tel Aviv UniversityIL2 papers
- The University of TokyoJP2 papers
- University of California, DavisUS2 papers
Showing cs.AIShow all
2 papers · 1 filter
cs.AI2011★ 4 cited
Representing First-Order Causal Theories by Logic Programs
Paolo Ferraris, Joohyung Lee, Yuliya Lierler +2
Nonmonotonic causal logic, introduced by Norman McCain and Hudson Turner, became a basis for the semantics of several expressive action languages. McCain's embedding of definite pr…
cs.AI2008★ 1 cited
Logic programs with propositional connectives and aggregates
Paolo Ferraris
Answer set programming (ASP) is a logic programming paradigm that can be used to solve complex combinatorial search problems. Aggregates are an ASP construct that plays an importan…