ProfGlot is the Prolog implementation of Functional Grammar as described in Dik (1989). In this paper we will present the generator module of the system: how the lexicon is organized, how underlying clause structures ...
详细信息
This paper proposes a method for detecting misclassifications of a classification rule and then revising them. Given a rule and a set of examples, the method divides misclassifications by the rule into miscovered exam...
详细信息
logic programming Update Languages were proposed as an extension of logic programming, which allow for modelling the dynamics of knowledge bases where both extensional knowledge (facts) as well as intentional knowledg...
详细信息
Propagating constraints is the main feature of any constraint solver. This is thus of prime importance to manage constraint propagation as efficiently as possible, justifying the use of the best algorithms. But the ea...
详细信息
Propagating constraints is the main feature of any constraint solver. This is thus of prime importance to manage constraint propagation as efficiently as possible, justifying the use of the best algorithms. But the ease of integration is also one of the concerns when implementing an algorithm in a constraint solver. This paper focuses on AC-3, which is the simplest arc consistency algorithm known so far. We propose two refinements that preserve as much as possible the ease of integration into a solver (no heavy data structure to be maintained during search), while giving some noticeable improvements in efficiency. One of the proposed refinements is analytically compared to AC-6, showing interesting properties, such as optimality of its worst-case time complexity.
Answer Set programming (ASP) has become an established logic-based programming paradigm with successful applications. In this paper, through the study of a direct and natural modeling of the Stable Marriage Problem (S...
详细信息
One promising family of search strategies to alleviate runtime and storage requirements of ILP systems is that of stochastic local search methods, which have been successfully applied to hard propositional tasks such ...
详细信息
To support rule-writers, we are developing techniques to automatically analyze large number of public comments on proposed regulations. A document is analyzed in various ways including argument structure, topics, and ...
详细信息
To support rule-writers, we are developing techniques to automatically analyze large number of public comments on proposed regulations. A document is analyzed in various ways including argument structure, topics, and opinions. The individual results are integrated into a unified output. The experiments reported here were performed on comments submitted to the Environmental Protection Agency in response to their proposed rule for mercury regulation.
Weighted constraints have been proven a useful means to enhance the quality of error diagnosis, e.g., in the domain of natural language parsing. In this paper, we propose an heuristic approach using constraint weights...
详细信息
Termination analysis has received considerable attention in logic programming for several decades. In recent years, probabilistic extensions of logic programming languages have become increasingly important. Languages...
详细信息
This describes work in progress on the semantics of Fifth, a declarative programming language which obtains e ciency without relying on domain-specific assumptions by means of an adaptive evaluation strategy. The adap...
详细信息
暂无评论