1486 search results - page 22 / 298 » A Logically Saturated Extension of |
FLAIRS
2008
13 years 10 months ago
2008
This paper presents proposals of certain extensions to the XTT knowledge representation model, a method of tabular specification for rule-based systems. The extensions concern
FUIN
2010
13 years 5 months ago
2010
We study 0-1 laws for extensions of first-order logic by Lindstr
APAL
1999
13 years 7 months ago
1999
The present paper investigates the groups of automorphisms for some lattices of modal logics. The main results are the following. The lattice of normal extensions of S4.3, NExt S4....
ASAP
2002
IEEE
14 years 23 days ago
2002
IEEE
This paper introduces PAPA: Packed Arithmetic on a Prefix Adder, a new approach to parallel prefix adder design that supports a wide variety of packed arithmetic computations, inc...
LANMR
2004
13 years 9 months ago
2004
In this paper some theoretical results in ASP are discussed in the context of application development. An application of ASP in collaborative learning is presented as a motivation....