2722 search results - page 109 / 545 » Automating Language Evolution |
115
Voted
DLOG
2006
15 years 3 months ago
2006
This work is motivated by the task of describing in natural language a concept defined in an OWL DL ontology. However, rather than focussing on linguistic issues, we address the q...
119
click to vote
ICLP
1998
Springer
15 years 6 months ago
1998
Springer
A number of logic programming languages based on Linear Logic [3] have been proposed. However, the implementation techniques proposed for these languages have relied heavily on th...
110
Voted
ECSQARU
1997
Springer
15 years 6 months ago
1997
Springer
Abstract. Temporal programming languages are recognized as natural and expressive formalisms for describing dynamic systems. However, most such languages are based on linear ow of ...
113
click to vote
LPNMR
1995
Springer
15 years 6 months ago
1995
Springer
In this paper we propose a logic programming language which supports hypothetical updates together with integrity constraints. The language allows sequences of updates by sets of a...
109
click to vote
LPAR
2000
Springer
15 years 6 months ago
2000
Springer
We propose a new tactic language for the system goq, which is intended to enrich the current tactic combinators (tacticals). This language is based on a functional core with recurs...