4401 search results - page 76 / 881 » Computing with Default Logic |
120
click to vote
BIRTHDAY
2003
Springer
15 years 7 months ago
2003
Springer
Abstract. We develop a logic for reasoning about object-oriented programs. The logic is for a language with an imperative semantics and aliasing, and accounts for self-reference in...
124
click to vote
ZUM
2000
Springer
15 years 6 months ago
2000
Springer
We present a computation model for Z, which is based on a reduction to a small calculus, called Z, and on concurrent constraint resolution techniques applied for computing in thi...
120
Voted
NC
2007
15 years 2 months ago
2007
In quantum computational logic meanings of sentences are identified with quantum information quantities: systems of qubits or, more generally, mixtures of systems of qubits. We co...
120
Voted
IJCAI
2001
15 years 4 months ago
2001
We give a graph theoretical characterization of answer sets of normal logic programs. We show that there is a one-to-one correspondence between answer sets and a special, non-stan...
172
Voted
EUSFLAT
2007
15 years 4 months ago
2007
This contribution presents Soft Computing Robot Navigation for mobile robot SCORCAS, a Case Study. The Navigation uses fuzzy logic experienced on mobile robot systems. Fuzzy logic...