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 cs.AIShow all
3 papers · 1 filter
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…
cs.AI2010★ 4 cited
Towards Closed World Reasoning in Dynamic Open Worlds (Extended Version)
Martin Slota, João Leite
The need for integration of ontologies with nonmonotonic rules has been gaining importance in a number of areas, such as the Semantic Web. A number of researchers addressed this pr…