1814 search results - page 155 / 363 » Extended First-Order Logic |
150
click to vote
ECSQARU
2009
Springer
16 years 27 days ago
2009
Springer
Argumentation frameworks have proven to be a successful approach to formalizing commonsense reasoning. Recently, some argumentation frameworks have been extended to deal with possi...
164
click to vote
IJCNN
2007
IEEE
16 years 19 days ago
2007
IEEE
— The relationship between subsymbolic neural networks and symbolic logical systems is discussed from the point of view of the account of computational science by Paul Humphreys ...
189
click to vote
AB
2007
Springer
16 years 15 days ago
2007
Springer
Abstract. In 1973 R. Thomas introduced a logical approach to modeling and analysis of bioregulatory networks. Given a set of Boolean functions describing the regulatory interaction...
199
click to vote
ASP
2005
Springer
15 years 12 months ago
2005
Springer
This paper studies compositional semantics of nonmonotonic logic programs. We suppose the answer set semantics of extended disjunctive programs and consider the following problem. ...
193
click to vote
SEMWEB
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. In the Semantic Web information would be retrieved, processed, combined, shared and reused in the maximum automatic way possible. Obviously, such procedures involve a hig...