Sciweavers

5378 search results - page 287 / 1076
» Base Logics in Argumentation
Sort
View
ICNC
2005
Springer
16 years 9 days ago
Credit Rating Analysis with AFS Fuzzy Logic
In this paper, we propose a new machine learning approach based on AFS (Axiomatic Fuzzy Sets) fuzzy logic, in attempt to provide a better model with interpretability. First, we wil...
Xiaodong Liu, Wanquan Liu
LILOG
1989
15 years 11 months ago
Order Sorted Predicate Logic
We propose a theory for reasoning about actions based on order-sorted predicate logic where one can consider an elaborate taxonomy of objects. We are interested in the projection ...
Arnold Oberschelp
IJCAI
2003
15 years 8 months ago
Minimal Change and Maximal Coherence for Epistemic Logic Program Updates
We consider the problem of updating nonmonotonic knowledge bases represented by epistemic logic programs where disjunctive information and notions of knowledge and beliefs can be ...
Yan Zhang
ENTCS
2010
120views more  ENTCS 2010»
15 years 6 months ago
Undecidability of the Logic of Overlap Relation over Discrete Linear Orderings
The validity/satisfiability problem for most propositional interval temporal logics is (highly) undecidable, under very weak assumptions on the class of interval structures in whi...
Davide Bresolin, Dario Della Monica, Valentin Gora...
JELIA
2004
Springer
16 years 5 days ago
Logic Programming Infrastructure for Inferences on FrameNet
Abstract. The growing size of electronically available text corpora like companies’ intranets or the WWW has made information access a hot topic within computational linguistics....
Peter Baumgartner, Aljoscha Burchardt