172 search results - page 22 / 35 » Description Logic vs. Order-Sorted Feature Logic |
95
Voted
SIGIR
2003
ACM
15 years 4 months ago
2003
ACM
A novel Hardware Assisted Top-Doc (HAT) component is disclosed. HAT is an optimized content indexing device based on a modified inverted index structure. HAT accommodates patterns...
79
Voted
MODELS
2007
Springer
15 years 5 months ago
2007
Springer
Abstract. Time and timing features are an important aspect of modern electronic systems, often of embedded nature. We argue here that in early design phases, time is often of logic...
86
Voted
DFG
2004
Springer
15 years 4 months ago
2004
Springer
Programmable Logic Controllers (PLC) are widely used as device controllers for assembly lines, chemical processes, or power plants. Sequential Function Charts (SFC) form one of the...
98
Voted
LACL
2001
Springer
15 years 3 months ago
2001
Springer
Abstract. Two kinds of framework for stating grammars of natural languages emerged during the 20th century. Here we call them generativeenumerative syntax (GES) and model-theoretic...
98
Voted
AGP
1994
IEEE
15 years 3 months ago
1994
IEEE
Kowalski and Sergot's Event Calculus (EC) is a formalism for reasoning about time and change in a logic programming framework. From a description of events which occur in the...