Conference
European Conference on Artificial Intelligence
About: European Conference on Artificial Intelligence is an academic conference. The conference publishes majorly in the area(s): Heuristics & Description logic. Over the lifetime, 3621 publications have been published by the conference receiving 61186 citations.
Topics: Heuristics, Description logic, Context (language use), Constraint satisfaction, Artificial neural network
Papers published on a yearly basis
Papers
More filters
Proceedings Article•
30 Aug 1992
TL;DR: SATPLAN04 is a updated version of the planning as satisfiability approach originally proposed in (Kautz & Selman 1992) using hand-generated translations, and implemented for PDDL input in the blackbox system.
Abstract: SATPLAN04 is a updated version of the planning as satisfiability approach originally proposed in (Kautz & Selman 1992; 1996) using hand-generated translations, and implemented for PDDL input in the blackbox system (Kautz & Selman 1999). Like blackbox, SATPLAN04 accepts the STRIPS subset of PDDL and finds solutions with minimal parallel length: that is, many (non-interferring) actions may occur in parallel at each time step, and the total number of time steps in guaranteed to be as small as possible. Also like blackbox, SATPLAN works by:
1,018 citations
Proceedings Article•
22 Aug 2004TL;DR: A wholly intrinsic measure of Information Content that relies on hierarchical structure alone is presented, which is consequently easier to calculate, yet when used as the basis of a similarity mechanism it yields judgments that correlate more closely with human assessments than other, extrinsic measures of IC that additionally employ corpus analysis.
Abstract: Information Content (IC) is an important dimension of word knowledge when assessing the similarity of two terms or word senses. The conventional way of measuring the IC of word senses is to combine knowledge of their hierarchical structure from an ontology like WordNet with statistics on their actual usage in text as derived from a large corpus. In this paper we present a wholly intrinsic measure of IC that relies on hierarchical structure alone. We report that this measure is consequently easier to calculate, yet when used as the basis of a similarity mechanism it yields judgments that correlate more closely with human assessments than other, extrinsic measures of IC that additionally employ corpus analysis.
619 citations
Proceedings Article•
[...]
20 Jul 1986
TL;DR: Unification theory provides the formal framework for investigations into the properties of the matching of descriptions operation as discussed by the authors, which is the "addition-and-multiplication" of AI-systems.
Abstract: Most knowledge based systems in artificial intelligence (AI), with a commitment to asymbolic representation, support one basic operation: ''matching of descriptions''. This operation, called unification in work on deduction, is the ''addition-and-multiplication'' of AI-systems and is consequently often supported by special purpose hardware or by a fast instruction set on most AI-machines. Unification theory provides the formal framework for investigations into the properties of this operation. This article surveys what is presently known in unification theory and records its early history.
571 citations
Proceedings Article•
01 Jan 1990
557 citations