3319 search results - page 82 / 664 » Subshifts, Languages and Logic |
101
click to vote
RR
2010
Springer
14 years 11 months ago
2010
Springer
The development and use of ontologies may require users with no training in formal logic to handle complex concept descriptions. To aid such users, we propose a new visualization f...
IDC
2009
Springer
15 years 7 months ago
2009
Springer
In the last fifteen years many work in logic programming has focussed on parallel implementations both in shared memory and in distributed memory multiprocessor systems. In both c...
110
click to vote
ICECCS
2006
IEEE
15 years 6 months ago
2006
IEEE
This paper formalizes the notion of a design model structurally conforming to a design pattern by representing the model as a logic program whilst the pattern as a query. The conf...
109
Voted
KR
2010
Springer
15 years 5 months ago
2010
Springer
Topological logics are a family of languages for representing and reasoning about topological data. In this paper, we consider propositional topological logics able to express the...
108
click to vote
ECAI
2010
Springer
15 years 1 months ago
2010
Springer
We define an Intuitionistic Conditional Logic for Access Control called CICL . The logic CICL is based on a conditional language allowing principals to be defined as arbitrary form...