99 citations
- University of LisbonPT15 papers
- Centre National de la Recherche ScientifiqueFR5 papers
- Laboratoire Kastler BrosselFR5 papers
- Sorbonne UniversitéFR4 papers
- Radboud University NijmegenNL3 papers
- École Normale Supérieure - PSLFR2 papers
- Medical University of South CarolinaUS2 papers
- Stony Brook UniversityUS2 papers
- University of AlbertaCA2 papers
- Carnegie Mellon UniversityUS1 paper
- Charles UniversityCZ1 paper
- Constructor UniversityDE1 paper
Showing 2011 · cs.AIShow all
2 papers · 2 filters
cs.AI2011★ 80 cited
The PITA System: Tabling and Answer Subsumption for Reasoning under Uncertainty
Fabrizio Riguzzi, Terrance Swift
Many real world domains require the representation of a measure of uncertainty. The most common such representation is probability, and the combination of probability with logic pr…
cs.AI2011★ 7 cited
Splitting and Updating Hybrid Knowledge Bases (Extended Version)
Martin Slota, João Leite, Terrance Swift
Over the years, nonmonotonic rules have proven to be a very expressive and useful knowledge representation paradigm. They have recently been used to complement the expressive power…