577 citations
- University of LisbonPT16 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
- École PolytechniqueFR2 papers
- Innaxis Foundation & Research InstituteES2 papers
- Medical University of South CarolinaUS2 papers
- Stony Brook UniversityUS2 papers
- Universidad de ZaragozaES2 papers
- Universidade Federal de Minas GeraisBR2 papers
6 papers · 1 filter
XSB: Extending Prolog with Tabled Logic Programming
Terrance Swift, David S. Warren
The paradigm of Tabled Logic Programming (TLP) is now supported by a number of Prolog systems, including XSB, YAP Prolog, B-Prolog, Mercury, ALS, and Ciao. The reasons for this are…
Sufficient Conditions for Fredholmness of Singular Integral Operators with Shifts and Slowly Oscillating Data
Alexei Yu. Karlovich, Yuri I. Karlovich, Amarino B. Lebre
Suppose is an orientation preserving diffeomorphism (shift) of $\mR_+=(0,\infty)$ onto itself with the only fixed points and . We establish sufficient conditions fo…
A Wiki for Mizar: Motivation, Considerations, and Initial Prototype
Josef Urban, Jesse Alama, Piotr Rudnicki +1
Formal mathematics has so far not taken full advantage of ideas from collaborative tools such as wikis and distributed version control systems (DVCS). We argue that the field could…
Evaluating Accessible Synchronous CMC Applications
Fernando G. Lobo, Marielba Zacarias, Paulo A. Condado +3
This paper proposes a more comprehensive evaluation methodology to measure the usability and user experience qualities of accessible synchronous computer-mediated communication app…
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…
First Results of the Phase II SIMPLE Dark Matter Search
M. Felizardo, T. Morlat, A. C. Fernandes +11
We report results of a 14.1 kgd measurement with 15 superheated droplet detectors of total active mass 0.208 kg, comprising the first stage of a 30 kgd Phase II experiment. In comb…