11,805 research outputs found
Subsumer: A Prolog theta-subsumption engine
No full textState-of-the-art theta-subsumption engines like Django (C) and Resumer2 (Java) are implemented in imperative languages. Since theta-subsumption is inherently a logic problem, in this paper we explore how to efficiently implement it in Prolog.
theta-subsumption is an important problem in computational logic and particularly relevant to the Inductive Logic Programming (ILP) community as it is at the core of the hypotheses coverage test which is often the bottleneck of an ILP system. Also, since most of those systems are implemented in Prolog, they can immediately take advantage of a Prolog based theta-subsumption engine.
We present a relatively simple (~1000 lines in Prolog) but efficient and general theta-subsumption engine, Subsumer. Crucial to Subsumer's performance is the dynamic and recursive decomposition of a clause in sets of independent components. Also important are ideas borrowed from constraint programming that empower Subsumer to efficiently work on clauses with up to several thousand literals and several dozen distinct variables.
Using the notoriously challenging Phase Transition dataset we show that, cputime wise, Subsumer clearly outperforms the Django subsumption engine and is competitive with the more sophisticated, state-of-the-art, Resumer2. Furthermore, Subsumer's memory requirements are only a small fraction of those engines and it can handle arbitrary Prolog clauses whereas Django and Resumer2 can only handle Datalog clauses
Service-oriented models for audiovisual content storage
No full textWhat are the important topics to understand if involved with storage services to hold digital audiovisual content? This report takes a look at how content is created and moves into and out of storage; the storage service value networks and architectures found now and expected in the future; what sort of data transfer is expected to and from an audiovisual archive; what transfer protocols to use; and a summary of security and interface issues
Approaches and Applications of Inductive Programming (Dagstuhl Seminar 17382)
No full textThis report documents the program and the outcomes of Dagstuhl Seminar 17382 "Approaches and Applications of Inductive Programming". After a short introduction to the state of the art to
inductive programming research, an overview of the introductory tutorials, the talks, program demonstrations, and the outcomes of discussion groups is given
AC-6-U.S. Naval Planes Flying in Formation, Langley Field, VA/Thank-You Card from Stephen Tury to the Hungarian Defense Council.
No full textThis postcard, which depicts U.S. Naval planes flying in formation, was sent to the Hungarian Defense Council by Private Stephen Tury. The Council was organized in New Brunswick by leaders of local Hungarian churches and societies. During the Second World War it sent supplies, such as the carton of cigarettes Tury is thanking it for, to members of the military of Hungarian descent from the New Brunswick area
Author Stephen Flynn Discusses Resiliency
Get PDFCenter for Homeland Defense and Security, PRESS RELEASESOn September 25, Author Stephen E. Flynn stopped by the Center’s National Capital Region campus to speak with CHDS Master’s degree students about his latest book, answer questions and discuss..
Letter from Carl Hayden to Stephen Mather, National Park Service
No full textLetter from Carl Hayden to Stephen Mather regarding the sale of Bass properties
05051 Executive Summary – Probabilistic, Logical and Relational Learning - Towards a Synthesis
No full textA short report on the Dagstuhl seminar on Probabilistic, Logical and Relational Learning – Towards a Synthesis is given
05051 Abstracts Collection – Probabilistic, Logical and Relational Learning - Towards a Synthesis
Get PDFFrom 30.01.05 to 04.02.05, the Dagstuhl Seminar 05051 ``Probabilistic, Logical and Relational Learning - Towards a Synthesis'' was held in the International Conference and Research Center (IBFI), Schloss Dagstuhl.
During the seminar, several participants presented their current
research, and ongoing work and open problems were discussed. Abstracts of
the presentations given during the seminar as well as abstracts of
seminar results and ideas are put together in this paper. The first section
describes the seminar topics and goals in general.
Links to extended abstracts or full papers are provided, if available
Approaches and Applications of Inductive Programming (Dagstuhl Seminar 19202)
No full textIn this report the program and the outcomes of Dagstuhl Seminar 19202 "Approaches and Applications of Inductive Programming" is documented. After a short introduction to the state of the art to inductive programming research, an overview of the introductory tutorials, the talks, program demonstrations, and the outcomes of discussion groups is given
- …
