3032 search results - page 348 / 607 » Description Logic Rules |
131
Voted
LPNMR
2007
Springer
15 years 10 months ago
2007
Springer
Practically all programming languages used in software engineering allow to split a program into several modules. For fully declarative and nonmonotonic logic programming languages...
161
click to vote
ASP
2005
Springer
15 years 9 months ago
2005
Springer
Possibilistic Stable model Semantics is an extension of Stable Model Semantics that allows to merge uncertain and non monotonic reasoning into a unique framework. To achieve this a...
121
click to vote
IEAAIE
2003
Springer
15 years 9 months ago
2003
Springer
- This paper presents an intelligent User Manager Agent System (UMAS) in which it has a capability of making a management decision for balancing the network load with the users’ ...
115
click to vote
DATE
2010
IEEE
15 years 9 months ago
2010
IEEE
— The paper introduces novel field programmable gate array (FPGA) circuits based on hybrid CMOS/resistive switching device (memristor) technology and explores several logic archi...
149
click to vote
WOLLIC
2010
Springer
15 years 9 months ago
2010
Springer
In type logical categorial grammar the analysis of an expression is a resource-conscious proof. Anaphora represents a particular challenge to this approach in that the antecedent ...