skip to content
Logic programming and automated reasoning : 4th international conference, LPAR '93, St. Petersburg, Russia, July 1320, 1993 : proceedings Preview this item
ClosePreview this item
Checking...

Logic programming and automated reasoning : 4th international conference, LPAR '93, St. Petersburg, Russia, July 1320, 1993 : proceedings

Author: Andrei Voronkov
Publisher: Berlin : SpringerVerlag, ©1993.
Series: Lecture notes in computer science, 698.; Lecture notes in computer science., Lecture notes in artificial intelligence.
Edition/Format:   eBook : Document : Conference publication : EnglishView all editions and formats
Summary:
LPAR is an international conference series aimed at bringing together researchers interested in logic programming and automated reasoning. The research in logic programming grew out of the research in automated reasoning in the early 1970s. Later, the implementation techniques known from logic programming were used in implementing theorem proving systems. Results from both fields applied to deductive databases. This  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
Congressen (vorm)
Additional Physical Format: Print version:
Logic programming and automated reasoning
(NLLeOCL)109099613
Material Type: Conference publication, Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: Andrei Voronkov
ISBN: 9783540478300 3540478302 3540569448 9783540569442
OCLC Number: 150398402
Description: 1 online resource (XIII, 386 pages) : illustrations
Contents: Entailment and disentailment of order-sorted feature constraints.- Computing extensions of default logic - Preliminary report.- Prolog with arrays and bounded quantifications.- Linear 0-1 inequalities and extended clauses.- Search space pruning by checking dynamic term growth.- A proof search system for a modal substructural logic based on labelled deductive systems.- Consistency checking of automata functional specifications.- Yet another application for Toupie: Verification of mutual exclusion algorithms.- Parsing with DCG-terms.- A first order resolution calculus with symmetries.- Ordered paramodulation and resolution as decision procedure.- Static analysis of Prolog with cut.- A new type theory for representing logics.- Verification of Switch-level designs with many-valued logic.- Deciding in HFS-theory via linear integer programming.- The completion of typed logic programs and SLDNF-resolution.- Increasing the versatility of heuristic based theorem provers.- Sequentialization of parallel logic programs with mode analysis.- Refinements and extensions of model elimination.- Executable specifications based on dynamic algebras.- Generic resolution in propositional modal systems.- Optimized translation of multi modal logic into predicate logic.- Default reasoning with a constraint resolution principle.- Non-clausal deductive techniques for computing prime implicants and prime implicates.- Unification under one-sided distributivity with a multiplicative unit.- Unification in Order-Sorted Logic with Term Declarations.- Extracting inheritance hierarchies from Prolog programs: A system based on the inference of type relations.- A comparison of mechanisms for avoiding repetition of subdeductions in chain format linear deduction systems.- Neutralization and preemption in extended logic programs.- MULTLOG: A system for axiomatizing many-valued logics.- SKIL: A system for programming with proofs.- Reasoning about the reals: the marriage of HOL and maple.- System description of LAMBDALG.- Mixing metafor.- A complete axiom system for isomorphism of types in closed categories.- Reasoning, modeling, and component-based technology.
Series Title: Lecture notes in computer science, 698.; Lecture notes in computer science., Lecture notes in artificial intelligence.
Other Titles: LPAR '93
Responsibility: Andrei Voronkov (ed.).

Abstract:

LPAR is an international conference series aimed at bringingtogether researchers interested in logic programming andautomated reasoning. The research in logic programming grewout of the  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/150398402> # Logic programming and automated reasoning : 4th international conference, LPAR '93, St. Petersburg, Russia, July 1320, 1993 : proceedings
    a schema:CreativeWork, schema:MediaObject, schema:Book ;
    library:oclcnum "150398402" ;
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/9177998386#Topic/logisch_programmeren> ; # Logisch programmeren
    schema:about <http://dewey.info/class/006.3/e20/> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/9177998386#Topic/automatische_bewijsvoering> ; # Automatische bewijsvoering
    schema:about <http://id.worldcat.org/fast/1002068> ; # Logic, Symbolic and mathematical
    schema:about <http://id.worldcat.org/fast/817247> ; # Artificial intelligence
    schema:about <http://id.worldcat.org/fast/872451> ; # Computer science
    schema:alternateName "LPAR '93" ;
    schema:bookFormat schema:EBook ;
    schema:creator <http://experiment.worldcat.org/entity/work/data/9177998386#Meeting/lpar_conference_4th_1993_saint_petersburg_russia> ; # LPAR (Conference) (4th : 1993 : Saint Petersburg, Russia)
    schema:datePublished "1993" ;
    schema:description "LPAR is an international conference series aimed at bringing together researchers interested in logic programming and automated reasoning. The research in logic programming grew out of the research in automated reasoning in the early 1970s. Later, the implementation techniques known from logic programming were used in implementing theorem proving systems. Results from both fields applied to deductive databases. This volume contains the proceedings of LPAR '93, which was organized by the Russian Association for Logic Programming. The volume contains 35 contributed papers selected from 84 submissions, together with an invited paper by Peter Wegner entitled "Reasoning versus modeling in computer science.""@en ;
    schema:editor <http://viaf.org/viaf/8047455> ; # Andrei Voronkov
    schema:exampleOfWork <http://worldcat.org/entity/work/id/9177998386> ;
    schema:genre "Congressen (vorm)"@en ;
    schema:genre "Electronic books"@en ;
    schema:genre "Conference publication"@en ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/9177998386#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://worldcat.org/entity/work/data/9177998386#CreativeWork/logic_programming_and_automated_reasoning> ;
    schema:name "Logic programming and automated reasoning : 4th international conference, LPAR '93, St. Petersburg, Russia, July 1320, 1993 : proceedings"@en ;
    schema:productID "150398402" ;
    schema:url <http://link.springer.com/openurl?genre=book&isbn=978-3-540-56944-2> ;
    schema:url <http://link.springer.com/10.1007/3-540-56944-8> ;
    schema:url <https://doi.org/10.1007/3-540-56944-8> ;
    schema:url <https://link.springer.com/10.1007/3-540-56944-8> ;
    schema:workExample <http://worldcat.org/isbn/9783540569442> ;
    schema:workExample <http://worldcat.org/isbn/9783540478300> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/150398402> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/9177998386#Meeting/lpar_conference_4th_1993_saint_petersburg_russia> # LPAR (Conference) (4th : 1993 : Saint Petersburg, Russia)
    a bgn:Meeting, schema:Event ;
    schema:location <http://experiment.worldcat.org/entity/work/data/9177998386#Place/saint_petersburg_russia> ; # Saint Petersburg, Russia)
    schema:name "LPAR (Conference) (4th : 1993 : Saint Petersburg, Russia)" ;
    .

<http://experiment.worldcat.org/entity/work/data/9177998386#Place/saint_petersburg_russia> # Saint Petersburg, Russia)
    a schema:Place ;
    schema:name "Saint Petersburg, Russia)" ;
    .

<http://experiment.worldcat.org/entity/work/data/9177998386#Series/lecture_notes_in_computer_science> # Lecture notes in computer science.
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/150398402> ; # Logic programming and automated reasoning : 4th international conference, LPAR '93, St. Petersburg, Russia, July 1320, 1993 : proceedings
    schema:name "Lecture notes in computer science." ;
    .

<http://experiment.worldcat.org/entity/work/data/9177998386#Topic/automatische_bewijsvoering> # Automatische bewijsvoering
    a schema:Intangible ;
    schema:name "Automatische bewijsvoering"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/9177998386#Topic/logisch_programmeren> # Logisch programmeren
    a schema:Intangible ;
    schema:name "Logisch programmeren"@en ;
    .

<http://id.worldcat.org/fast/1002068> # Logic, Symbolic and mathematical
    a schema:Intangible ;
    schema:name "Logic, Symbolic and mathematical"@en ;
    .

<http://id.worldcat.org/fast/817247> # Artificial intelligence
    a schema:Intangible ;
    schema:name "Artificial intelligence"@en ;
    .

<http://id.worldcat.org/fast/872451> # Computer science
    a schema:Intangible ;
    schema:name "Computer science"@en ;
    .

<http://viaf.org/viaf/8047455> # Andrei Voronkov
    a schema:Person ;
    schema:birthDate "1959" ;
    schema:familyName "Voronkov" ;
    schema:givenName "Andrei" ;
    schema:name "Andrei Voronkov" ;
    .

<http://worldcat.org/entity/work/data/9177998386#CreativeWork/logic_programming_and_automated_reasoning>
    a schema:CreativeWork ;
    rdfs:label "Logic programming and automated reasoning" ;
    schema:description "Print version:" ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/150398402> ; # Logic programming and automated reasoning : 4th international conference, LPAR '93, St. Petersburg, Russia, July 1320, 1993 : proceedings
    .

<http://worldcat.org/isbn/9783540478300>
    a schema:ProductModel ;
    schema:isbn "3540478302" ;
    schema:isbn "9783540478300" ;
    .

<http://worldcat.org/isbn/9783540569442>
    a schema:ProductModel ;
    schema:isbn "3540569448" ;
    schema:isbn "9783540569442" ;
    .

<http://worldcat.org/issn/0302-9743> # Lecture notes in computer science ;
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/150398402> ; # Logic programming and automated reasoning : 4th international conference, LPAR '93, St. Petersburg, Russia, July 1320, 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/title/-/oclc/150398402>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
    schema:about <http://www.worldcat.org/oclc/150398402> ; # Logic programming and automated reasoning : 4th international conference, LPAR '93, St. Petersburg, Russia, July 1320, 1993 : proceedings
    schema:dateModified "2019-06-23" ;
    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.