Theory Reasoning in Connection Calculi
The ability to draw inferences is a central operation in any artificial intelligence system. Automated reasoning is therefore among the traditional disciplines in AI. Theory reasoning is about techniques for combining automated reasoning systems with specialized and efficient modules for handling do...
Κύριος συγγραφέας: | Baumgartner, Peter (Συγγραφέας, http://id.loc.gov/vocabulary/relators/aut) |
---|---|
Συγγραφή απο Οργανισμό/Αρχή: | SpringerLink (Online service) |
Μορφή: | Ηλεκτρονική πηγή Ηλ. βιβλίο |
Γλώσσα: | English |
Έκδοση: |
Berlin, Heidelberg :
Springer Berlin Heidelberg : Imprint: Springer,
1998.
|
Έκδοση: | 1st ed. 1998. |
Σειρά: | Lecture Notes in Artificial Intelligence ;
1527 |
Θέματα: | |
Διαθέσιμο Online: | Full Text via HEAL-Link |
Παρόμοια τεκμήρια
-
Fuzzy Sets and Systems - IFSA 2003 10th International Fuzzy Systems Association World Congress, Istanbul, Turkey, June 30 - July 2, 2003, Proceedings /
Έκδοση: (2003) -
Rough Sets and Current Trends in Computing Second International Conference, RSCTC 2000 Banff, Canada, October 16-19, 2000 Revised Papers /
Έκδοση: (2001) -
Fuzzy Logic in Artificial Intelligence: Towards Intelligent Systems IJCAI '95 Workshop, Montreal, Canada, August 19-21, 1995, Selected Papers /
Έκδοση: (1997) -
Towards Efficient Fuzzy Information Processing Using the Principle of Information Diffusion /
ανά: Huang, Chongfu, κ.ά.
Έκδοση: (2002) -
Computer Science Logic 13th International Workshop, CSL'99, 8th Annual Conference of the EACSL, Madrid, Spain, September 20-25, 1999, Proceedings /
Έκδοση: (1999)