000 06811nam a22004935i 4500
001 978-3-540-47750-1
003 DE-He213
005 20160624102026.0
007 cr nn 008mamaa
008 121227s1993 gw | s |||| 0|eng d
020 _a9783540477501
_9978-3-540-47750-1
024 7 _a10.1007/3-540-56804-2
_2doi
050 4 _aQ334-342
050 4 _aTJ210.2-211.495
072 7 _aUYQ
_2bicssc
072 7 _aTJFM1
_2bicssc
072 7 _aCOM004000
_2bisacsh
082 0 4 _a006.3
_223
245 1 0 _aMethodologies for Intelligent Systems
_h[electronic resource] :
_b7th International Symposium, ISMIS'93 Trondheim, Norway, June 15–18, 1993 Proceedings /
_cedited by Jan Komorowski, Zbigniew W. Raś.
260 1 _aBerlin, Heidelberg :
_bSpringer Berlin Heidelberg,
_c1993.
264 1 _aBerlin, Heidelberg :
_bSpringer Berlin Heidelberg,
_c1993.
300 _aXIV, 662 p.
_bonline resource.
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
347 _atext file
_bPDF
_2rda
490 1 _aLecture Notes in Computer Science, Lecture Notes in Artificial Intelligence,
_x0302-9743 ;
_v689
505 0 _aOn extended disjunctive logic programs -- Model finding strategies in semantically guided instance-based theorem proving -- An expressive three-valued logic with two negations -- Compiling proof search in semantic tableaux -- Short CNF in finitely-valued logics -- Defining variants of default logic: A modal approach -- An admissible heuristic search algorithm -- Building an expert system language interpreter with the rule network technique -- Input-driven control of rule-based expert systems -- Case-based planning for medical diagnosis -- MethoDex: A methodology for Expert Systems development -- Towards intelligent databases -- Combining classification and nonmonotonic inheritance reasoning: A first step -- Mechanical proof systems for logic II, consensus programs and their processing -- The logic of only knowing as a unified framework for non-monotonic reasoning -- Terminological logic involving time and evolution: A preliminary report -- Knowledge management by example -- System reorganization and load balancing of parallel database rule processing -- Using semantic information for processing negation and disjunction in logic programs -- On the interpretation of set-oriented fuzzy quantified queries and their evaluation in a database management system -- Methodologies for knowledge-based software engineering -- Updating logic programs -- Expressing program requirements using refinement lattices -- Finding logical consequences using unskolemization -- Controlled explanation systems -- Signed formulas: A liftable meta-logic for multiple-valued logics -- New design concepts for the FLINS-Fuzzy Lingual System: Text-based and Fuzzy-Centered architectures -- Boolean reasoning for decision rules generation -- Upper and lower entropies of belief functions using compatible probability functions -- Reasoning about higher order uncertainty in possibilistic logic -- Approximation methods for knowledge representation systems -- Modelling of industrial systems -- On the satisfiability of symmetrical constrained satisfaction problems -- A logical reconstruction of constraint relaxation hierarchies in logic programming -- A performance evaluation of backtrack-bounded search methods for N-ary constraint networks -- Finite domain consistency techniques: Their combination and application in computer-aided process planning -- Should decision trees be learned from examples or from decision rules? -- Integrating machine-learning techniques in knowledge-based systems verification -- Automatic theorem generation in plane geometry -- Learning simple recursive theories -- The many faces of inductive logic programming -- CONSENSUS: A method for the development of distributed intelligent systems -- Script and frame: Mixed natural language understanding system with default theory -- Constructive matching methodology: Formally creative or Intelligent inductive theorem proving? -- Representing the knowledge used during the Requirement engineering activity with generic structures -- Development of a programming environment for intelligent robotics -- On the complexity of the instance checking problem in concept languages with existential quantification -- Mutual knowledge -- Expressive extensions to inheritance networks -- A connectionist-symbolic cognitive model -- Multi-Context systems as a tool to model temporal evolution -- Systematic assessment of temporal reasoning methods for use in autonomous agents -- GGD: Graph Grammar Developer for features in CAD/CAM -- A knowledge-Based approach to group analysis in automated manufacturing systems -- CENTER: A system architecture for matching design and manufacturing -- Knowledge-based system integration in a concurrent engineering environment -- A reflective strategic problem solving model -- On the learning of rule uncertainties and their integration into probabilistic knowledge bases -- Recognition of functional dependencies in data -- Rough set learning of preferential attitude in multi-criteria decision making.
520 _aThis volume contains papers selected for presentation at the Seventh International Symposium on Methodologies for Intelligent Systems (ISMIS '93), held at the Norwegian Institute of Technology, Trondheim, Norway, in June 1993. The volume includes six invited talks and 43 contributed papers organized under the following headings: logic for artificial intelligence, expert systems, intelligent databases, approximate reasoning, constraint programming, learning and adaptive systems, methodologies, knowledge representation, and manufacturing. Theinvited talks are: "On extended disjunctive logic programs" (J. Minker, C. Ruiz), "Towards intelligent databases" (F. Bry), "Methodologies for knowledge-based software engineering" (M. Lowry), "Modelling of industrial systems" (L. Ljung), "The many faces of inductive logic programming" (L. De Raedt, N. Lavrac), and "Systematic assessment of temporal reasoning methods for use in autonomous agents" (E. Sandewall).
650 0 _aComputer science.
650 0 _aArtificial intelligence.
650 1 4 _aComputer Science.
650 2 4 _aArtificial Intelligence (incl. Robotics).
700 1 _aKomorowski, Jan.
_eeditor.
700 1 _aRaś, Zbigniew W.
_eeditor.
710 2 _aSpringerLink (Online service)
773 0 _tSpringer eBooks
776 0 8 _iPrinted edition:
_z9783540568049
786 _dSpringer
830 0 _aLecture Notes in Computer Science, Lecture Notes in Artificial Intelligence,
_x0302-9743 ;
_v689
856 4 0 _uhttp://dx.doi.org/10.1007/3-540-56804-2
942 _2EBK6174
_cEBK
999 _c35468
_d35468