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
7 papers · 1 filter
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…
Licensing the Mizar Mathematical Library
Jesse Alama, Michael Kohlhase, Adam Naumowicz +3
The Mizar Mathematical Library (MML) is a large corpus of formalised mathematical knowledge. It has been constructed over the course of many years by a large number of authors and…
Large Formal Wikis: Issues and Solutions
Jesse Alama, Kasper Brink, Lionel Mamane +1
We present several steps towards large formal mathematical wikis. The Coq proof assistant together with the CoRN repository are added to the pool of systems handled by the general…
On singular integral operators with semi-almost periodic coefficients on variable Lebesgue spaces
Alexei Yu. Karlovich, Ilya M. Spitkovsky
Let be a semi-almost periodic matrix function with the almost periodic representatives and at and , respectively. Suppose $p:\mathbb{R}\to(1,\inf…
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…
A Spatial-Epistemic Logic for Reasoning about Security Protocols
Bernardo Toninho, Luís Caires
Reasoning about security properties involves reasoning about where the information of a system is located, and how it evolves over time. While most security analysis techniques nee…