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 Ras; Zbigniew Raâs
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1993.
Series: Lecture notes in computer science., Lecture notes in artificial intelligence ;, 689.
Edition/Format:   eBook : Document : EnglishView all editions and formats
Publication:Springer e-books.
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: Conference papers and proceedings
Congresses
Additional Physical Format: Printed edition:
Material Type: Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: J Komorowski; Zbigniew Ras; Zbigniew Raâs
ISBN: 3540568042 9783540568049 9783540477501 3540477500
OCLC Number: 990616187
Language Note: English.
Notes: Bibliographic Level Mode of Issuance: Monograph.
Description: 1 online resource (XIV, 662 pages).
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., Lecture notes in artificial intelligence ;, 689.

Abstract:

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).

Reviews

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

Tags

Be the first.

Similar Items

Related Subjects:(2)

User lists with this item (1)

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/990616187> # Methodologies for intelligent systems : 7th International Symposium, ISMIS '93, Trondheim, Norway, June 15-18, 1993 : proceedings.
    a schema:MediaObject, schema:Book, schema:CreativeWork ;
    library:oclcnum "990616187" ;
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/4390292921#Topic/expert_systems_computer_science> ; # Expert systems (Computer science)
    schema:about <http://dewey.info/class/006.3/> ;
    schema:bookFormat schema:EBook ;
    schema:contributor <http://experiment.worldcat.org/entity/work/data/4390292921#Person/raas_zbigniew> ; # Zbigniew Raâs
    schema:contributor <http://experiment.worldcat.org/entity/work/data/4390292921#Person/ras_zbigniew> ; # Zbigniew Ras
    schema:contributor <http://experiment.worldcat.org/entity/work/data/4390292921#Person/komorowski_j> ; # J Komorowski
    schema:datePublished "1993" ;
    schema:description "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."@en ;
    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/4390292921> ;
    schema:genre "Conference papers and proceedings"@en ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://worldcat.org/issn/0302-9743> ; # Lecture notes in computer science.
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/4390292921#Series/lecture_notes_in_computer_science_methodologies_for_intelligent_systems> ; # Lecture notes in computer science Methodologies for intelligent systems
    schema:isSimilarTo <http://worldcat.org/entity/work/data/4390292921#CreativeWork/> ;
    schema:name "Methodologies for intelligent systems : 7th International Symposium, ISMIS '93, Trondheim, Norway, June 15-18, 1993 : proceedings."@en ;
    schema:productID "990616187" ;
    schema:url <http://link.springer.com/10.1007/3-540-56804-2> ;
    schema:url <http://dx.doi.org/10.1007/3-540-56804-2> ;
    schema:workExample <http://worldcat.org/isbn/9783540568049> ;
    schema:workExample <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/990616187> ;
    .


Related Entities

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

<http://experiment.worldcat.org/entity/work/data/4390292921#Person/raas_zbigniew> # Zbigniew Raâs
    a schema:Person ;
    schema:familyName "Raâs" ;
    schema:givenName "Zbigniew" ;
    schema:name "Zbigniew Raâs" ;
    .

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

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

<http://experiment.worldcat.org/entity/work/data/4390292921#Topic/expert_systems_computer_science> # Expert systems (Computer science)
    a schema:Intangible ;
    schema:name "Expert systems (Computer science)"@en ;
    .

<http://worldcat.org/entity/work/data/4390292921#CreativeWork/>
    a schema:CreativeWork ;
    schema:description "Printed edition:" ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/990616187> ; # Methodologies for intelligent systems : 7th International Symposium, ISMIS '93, Trondheim, Norway, June 15-18, 1993 : proceedings.
    .

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

<http://worldcat.org/isbn/9783540568049>
    a schema:ProductModel ;
    schema:isbn "3540568042" ;
    schema:isbn "9783540568049" ;
    .

<http://worldcat.org/issn/0302-9743> # Lecture notes in computer science.
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/990616187> ; # 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." ;
    .

<http://www.worldcat.org/title/-/oclc/990616187>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
    schema:about <http://www.worldcat.org/oclc/990616187> ; # Methodologies for intelligent systems : 7th International Symposium, ISMIS '93, Trondheim, Norway, June 15-18, 1993 : proceedings.
    schema:dateModified "2018-10-12" ;
    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.