4401 search results - page 445 / 881 » Computing with Default Logic |
226
click to vote
DALT
2005
Springer
16 years 11 days ago
2005
Springer
An agent who bases his actions upon explicit logical formulae has at any given point in time a finite set of formulae he has computed. Closure or consistency conditions on this se...
187
Voted
ATAL
2004
Springer
16 years 7 days ago
2004
Springer
We describe a new smart meeting room system called EasyMeeting that explores the use of FIPA agent technologies, Semantic Web ontologies, logic reasoning, and security and privacy...
176
click to vote
HIPC
2004
Springer
16 years 6 days ago
2004
Springer
This paper summarizes the design and implementation of a parallel algorithm for state assignment of large Finite State Machines (FSMs). High performance CAD tools are necessary to...
201
click to vote
RTA
2004
Springer
16 years 5 days ago
2004
Springer
Logical systems in natural deduction style are usually presented in the Gentzen style. A different definition of natural deduction, that corresponds more closely to proofs in ord...
194
click to vote
SPIN
2004
Springer
16 years 5 days ago
2004
Springer
Abstract. In the classic approach to logic model checking, software verification requires a manually constructed artifact (the model) to be written in the language that is accepted...