Sciweavers

1373 search results - page 236 / 275
» What is Fuzzy Logic
Sort
View
MKM
2009
Springer
14 years 3 months ago
Formal Proof: Reconciling Correctness and Understanding
Hilbert’s concept of formal proof is an ideal of rigour for mathematics which has important applications in mathematical logic, but seems irrelevant for the practice of mathemati...
Cristian S. Calude, Christine Müller
ECSQARU
1999
Springer
14 years 2 months ago
Nonmonotonic and Paraconsistent Reasoning: From Basic Entailments to Plausible Relations
In this paper we develop frameworks for logical systems which are able to re ect not only nonmonotonic patterns of reasoning, but also paraconsistent reasoning. For this we conside...
Ofer Arieli, Arnon Avron
SCCC
1998
IEEE
14 years 2 months ago
Dynamic Programming as Frame for Efficient Parsing
The last few years have seen a renewal of interest in the consideration of dynamic programming in compiler technology. This is due to the compactness of the representations, which...
Manuel Vilares Ferro, Miguel A. Alonso, David Cabr...
FLAIRS
2007
14 years 22 days ago
Naive Bayes and Decision Trees for Function Tagging
This paper describes the use of two machine learning techniques, naive Bayes and decision trees, to address the task of assigning function tags to nodes in a syntactic parse tree....
Mihai C. Lintean, Vasile Rus
EJC
2006
13 years 11 months ago
Ontological Queries Supporting Decision Process in KaSeA System
With development of knowledge bases (KB) there appeared expert systems that use KBs to support them in decision making process. Decision Support Systems, that are the subject of th...
Krzysztof Goczyla, Aleksander Waloszek, Wojciech W...