skip to content
Methodologies for intelligent systems : 7th International Symposium, ISMIS '93, Trondheim, Norway, June 15-18, 1993 : proceedings Preview this item
ClosePreview this item
Checking...

Methodologies for intelligent systems : 7th International Symposium, ISMIS '93, Trondheim, Norway, June 15-18, 1993 : proceedings

Author: J Komorowski; Zbigniew Raś
Publisher: Berlin ; New York : Springer-Verlag, ©1993.
Series: Lecture notes in computer science, 689.; Lecture notes in computer science., Lecture notes in artificial intelligence.
Edition/Format:   eBook : Document : Conference publication : EnglishView all editions and formats
Database:WorldCat
Summary:
This 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  Read more...
Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

 

Find a copy online

Links to this item

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Genre/Form: Electronic books
Conference papers and proceedings
Congressen (vorm)
Congresses
Additional Physical Format: Print version:
Methodologies for intelligent systems.
Berlin ; New York : Springer-Verlag, ©1993
(DLC) 93193560
(OCoLC)29033427
Material Type: Conference publication, Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: J Komorowski; Zbigniew Raś
ISBN: 9783540477501 3540477500
OCLC Number: 321338994
Description: 1 online resource (xi, 651 pages) : illustrations.
Contents: On 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.
Series Title: Lecture notes in computer science, 689.; Lecture notes in computer science., Lecture notes in artificial intelligence.
Other Titles: ISMIS '93
Responsibility: J. Komorowski, Z.W. Raś (eds.).
More information:

Abstract:

This volume contains the proceedings of the 7th International Symposium on Methodologies for Intelligent Systems (ISMIS '93), held at the Norwegian Institute of Technology, Trondheim, Norway, in June  Read more...

Reviews

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.
Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


Primary Entity

<http://www.worldcat.org/oclc/321338994> # Methodologies for intelligent systems : 7th International Symposium, ISMIS '93, Trondheim, Norway, June 15-18, 1993 : proceedings
    a schema:CreativeWork, schema:MediaObject, schema:Book ;
    library:oclcnum "321338994" ;
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/3857259788#Topic/kunstmatige_intelligentie> ; # Kunstmatige intelligentie
    schema:about <http://experiment.worldcat.org/entity/work/data/3857259788#Topic/computersystemen> ; # Computersystemen
    schema:about <http://dewey.info/class/006.3/e20/> ;
    schema:about <http://id.worldcat.org/fast/918516> ; # Expert systems (Computer science)
    schema:alternateName "ISMIS '93" ;
    schema:bookFormat schema:EBook ;
    schema:contributor <http://experiment.worldcat.org/entity/work/data/3857259788#Person/komorowski_j_jan> ; # Jan Komorowski
    schema:contributor <http://experiment.worldcat.org/entity/work/data/3857259788#Meeting/international_symposium_on_methodologies_for_intelligent_systems_7th_1993_trondheim_norway> ; # International Symposium on Methodologies for Intelligent Systems (7th : 1993 : Trondheim, Norway)
    schema:contributor <http://experiment.worldcat.org/entity/work/data/3857259788#Person/ras_zbigniew> ; # Zbigniew Raś
    schema:datePublished "1993" ;
    schema:description "This 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)."@en ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/3857259788> ;
    schema:genre "Electronic books"@en ;
    schema:genre "Congressen (vorm)"@en ;
    schema:genre "Conference papers and proceedings"@en ;
    schema:genre "Conference publication"@en ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/3857259788#Series/lecture_notes_in_computer_science> ; # Lecture notes in computer science.
    schema:isPartOf <http://worldcat.org/issn/0302-9743> ; # Lecture notes in computer science ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/29033427> ;
    schema:name "Methodologies for intelligent systems : 7th International Symposium, ISMIS '93, Trondheim, Norway, June 15-18, 1993 : proceedings"@en ;
    schema:productID "321338994" ;
    schema:url <http://dx.doi.org/10.1007/3-540-56804-2> ;
    schema:workExample <http://worldcat.org/isbn/9783540477501> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/321338994> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/3857259788#Meeting/international_symposium_on_methodologies_for_intelligent_systems_7th_1993_trondheim_norway> # International Symposium on Methodologies for Intelligent Systems (7th : 1993 : Trondheim, Norway)
    a bgn:Meeting, schema:Event ;
    schema:location <http://experiment.worldcat.org/entity/work/data/3857259788#Place/trondheim_norway> ; # Trondheim, Norway)
    schema:name "International Symposium on Methodologies for Intelligent Systems (7th : 1993 : Trondheim, Norway)" ;
    .

<http://experiment.worldcat.org/entity/work/data/3857259788#Person/komorowski_j_jan> # Jan Komorowski
    a schema:Person ;
    schema:familyName "Komorowski" ;
    schema:givenName "Jan" ;
    schema:givenName "J." ;
    schema:name "Jan Komorowski" ;
    .

<http://experiment.worldcat.org/entity/work/data/3857259788#Person/ras_zbigniew> # Zbigniew Raś
    a schema:Person ;
    schema:familyName "Raś" ;
    schema:givenName "Zbigniew" ;
    schema:name "Zbigniew Raś" ;
    .

<http://experiment.worldcat.org/entity/work/data/3857259788#Place/trondheim_norway> # Trondheim, Norway)
    a schema:Place ;
    schema:name "Trondheim, Norway)" ;
    .

<http://experiment.worldcat.org/entity/work/data/3857259788#Series/lecture_notes_in_computer_science> # Lecture notes in computer science.
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/321338994> ; # Methodologies for intelligent systems : 7th International Symposium, ISMIS '93, Trondheim, Norway, June 15-18, 1993 : proceedings
    schema:name "Lecture notes in computer science." ;
    .

<http://experiment.worldcat.org/entity/work/data/3857259788#Topic/kunstmatige_intelligentie> # Kunstmatige intelligentie
    a schema:Intangible ;
    schema:name "Kunstmatige intelligentie"@en ;
    .

<http://id.worldcat.org/fast/918516> # Expert systems (Computer science)
    a schema:Intangible ;
    schema:name "Expert systems (Computer science)"@en ;
    .

<http://worldcat.org/isbn/9783540477501>
    a schema:ProductModel ;
    schema:isbn "3540477500" ;
    schema:isbn "9783540477501" ;
    .

<http://worldcat.org/issn/0302-9743> # Lecture notes in computer science ;
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/321338994> ; # Methodologies for intelligent systems : 7th International Symposium, ISMIS '93, Trondheim, Norway, June 15-18, 1993 : proceedings
    schema:issn "0302-9743" ;
    schema:name "Lecture notes in computer science ;" ;
    schema:name "Lecture notes in computer science, Lecture notes in artificial intelligence" ;
    .

<http://www.worldcat.org/oclc/29033427>
    a schema:CreativeWork ;
    rdfs:label "Methodologies for intelligent systems." ;
    schema:description "Print version:" ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/321338994> ; # Methodologies for intelligent systems : 7th International Symposium, ISMIS '93, Trondheim, Norway, June 15-18, 1993 : proceedings
    .

<http://www.worldcat.org/title/-/oclc/321338994>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
    schema:about <http://www.worldcat.org/oclc/321338994> ; # Methodologies for intelligent systems : 7th International Symposium, ISMIS '93, Trondheim, Norway, June 15-18, 1993 : proceedings
    schema:dateModified "2016-09-13" ;
    void:inDataset <http://purl.oclc.org/dataset/WorldCat> ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.