3440 search results - page 371 / 688 » Logics For Context-Free Languages |
245
Voted
FROCOS
2009
Springer
16 years 2 months ago
2009
Springer
When trying to apply recently developed approaches for updating Description Logic ABoxes in the context of an action programming language, one encounters two problems. First, upda...
228
Voted
TASE
2007
IEEE
16 years 1 months ago
2007
IEEE
Safety is an important property of high-assurance software, and one of the hot research topics on it is the verification method for software to meet its safety policies. In our p...
218
click to vote
ICLP
2007
Springer
16 years 1 months ago
2007
Springer
The paper presents a prototype system HD-Rules (Hybrid integration of Description Logic and Rules) that integrates normal clauses under the wellfounded semantics with ontologies sp...
241
click to vote
ACL2
2006
ACM
16 years 1 months ago
2006
ACM
ACL2 is used to systematically study domains whose elements can be “uniquely” factored into products of “irreducible” elements. The best known examples of such domains are...
225
Voted
ACMICEC
2005
ACM
16 years 1 months ago
2005
ACM
In order to capture the full fledge semantic of complicated product data model, the expressive language ALCNHR+ K(D) is introduced. It cannot only be able to represent knowledge a...