Sciweavers

17366 search results - page 18 / 3474
» New Revision Algorithms
Sort
View
LREC
2010
156views Education» more  LREC 2010»
13 years 6 months ago
A Description of Morphological Features of Serbian: a Revision using Feature System Declaration
In this paper we discuss some well-known morphological descriptions used in various projects and applications (most notably MULTEXT-East and Unitex) and illustrate the encountered...
Cvetana Krstev, Ranka Stankovic, Dusko Vitas
JANCL
2007
106views more  JANCL 2007»
13 years 8 months ago
Dynamic logic for belief revision
ABSTRACT. We show how belief revision can be treated systematically in the format of dynamicepistemic logic, when operators of conditional belief are added. The core engine consist...
Johan van Benthem
ANLP
2000
110views more  ANLP 2000»
13 years 9 months ago
An Automatic Reviser: The TransCheck System
Over the past decade or so, a lot of work in computational linguistics has been directed at finding ways to exploit the ever increasing volume of electronic bilingual corpora. The...
Jean-Marc Jutras
FLAIRS
2004
13 years 9 months ago
Context-Based Reasoning: A Revised Specification
This paper is an extension to and revision of Gonzalez and Ahlers' [6] definition of the Context-Based Reasoning Paradigm. Included are rigorous definitions of all terms and ...
Brian S. Stensrud, Gilbert C. Barrett, Avelino J. ...
CISIS
2009
IEEE
14 years 3 months ago
A Nonmonotonic Logical Approach for Modelling and Revising Metabolic Networks
—This paper describes a new logic-based approach for representing and reasoning about metabolic networks. First it shows how biological pathways can be elegantly represented in a...
Oliver Ray, Ken E. Whelan, Ross D. King