Logic for programming, artificial intelligence, and reasoning: 11th international conference, LPAR 2004, Montevideo, Uruguay, March 14 - 18, 2005 ; proceedings
Saved in:
| Format: | Conference Proceeding Book |
|---|---|
| Language: | English |
| Published: |
Berlin [u.a.]
Springer
2005
|
| Series: | Lecture notes in computer science
3452 : Lecture notes in artificial intelligence |
| Subjects: | |
| Online Access: | Inhaltsverzeichnis |
| Item Description: | Literaturangaben |
| Physical Description: | XI, 562 S. |
| ISBN: | 3540252363 |
Staff View
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV019833341 | ||
| 003 | DE-604 | ||
| 005 | 20050622 | ||
| 007 | t| | ||
| 008 | 050606s2005 gw |||| 10||| eng d | ||
| 015 | |a 05,N09,0039 |2 dnb | ||
| 015 | |a 05,A16,0029 |2 dnb | ||
| 016 | 7 | |a 973670185 |2 DE-101 | |
| 020 | |a 3540252363 |c kart. : EUR 72.76 (freier Pr.), sfr 120.50 (freier Pr.) |9 3-540-25236-3 | ||
| 024 | 3 | |a 9783540252368 | |
| 028 | 5 | 2 | |a 11403487 |
| 035 | |a (OCoLC)58654678 | ||
| 035 | |a (DE-599)BVBBV019833341 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 044 | |a gw |c XA-DE-BE | ||
| 049 | |a DE-473 |a DE-739 |a DE-91G |a DE-706 |a DE-83 |a DE-11 | ||
| 050 | 0 | |a QA76.63 | |
| 082 | 0 | |a 005.1/15 |2 22 | |
| 084 | |a DAT 706f |2 stub | ||
| 084 | |a DAT 540f |2 stub | ||
| 084 | |a 510 |2 sdnb | ||
| 245 | 1 | 0 | |a Logic for programming, artificial intelligence, and reasoning |b 11th international conference, LPAR 2004, Montevideo, Uruguay, March 14 - 18, 2005 ; proceedings |c Franz Baader ... (eds.) |
| 264 | 1 | |a Berlin [u.a.] |b Springer |c 2005 | |
| 300 | |a XI, 562 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Lecture notes in computer science |v 3452 : Lecture notes in artificial intelligence | |
| 500 | |a Literaturangaben | ||
| 650 | 7 | |a Démonstration automatique de théorèmes |2 rasuqam | |
| 650 | 4 | |a Intelligence artificielle - Congrès | |
| 650 | 7 | |a Intelligence artificielle |2 rasuqam | |
| 650 | 4 | |a Programmation logique - Congrès | |
| 650 | 7 | |a Programmation logique |2 rasuqam | |
| 650 | 7 | |a Raisonnement (Informatique) |2 rasuqam | |
| 650 | 4 | |a Théorèmes - Démonstration automatique - Congrès | |
| 650 | 4 | |a Künstliche Intelligenz | |
| 650 | 4 | |a Artificial intelligence |v Congresses | |
| 650 | 4 | |a Automatic theorem proving |v Congresses | |
| 650 | 4 | |a Logic programming |v Congresses | |
| 650 | 0 | 7 | |a Programmierlogik |0 (DE-588)4047408-2 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Logische Programmierung |0 (DE-588)4195096-3 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Automatisches Beweisverfahren |0 (DE-588)4069034-9 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 2004 |z Montevideo |2 gnd-content | |
| 689 | 0 | 0 | |a Logische Programmierung |0 (DE-588)4195096-3 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Automatisches Beweisverfahren |0 (DE-588)4069034-9 |D s |
| 689 | 1 | |5 DE-604 | |
| 689 | 2 | 0 | |a Programmierlogik |0 (DE-588)4047408-2 |D s |
| 689 | 2 | |5 DE-604 | |
| 700 | 1 | |a Baader, Franz |d 1959- |e Sonstige |0 (DE-588)131845098 |4 oth | |
| 711 | 2 | |a LPAR |n 11 |d 2005 |c Montevideo |j Sonstige |0 (DE-588)10099541-X |4 oth | |
| 830 | 0 | |a Lecture notes in computer science |v 3452 : Lecture notes in artificial intelligence |w (DE-604)BV000000607 |9 3452 | |
| 856 | 4 | 2 | |m DNB Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=013158387&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-013158387 | |
Record in the Search Index
| _version_ | 1826212266182180864 |
|---|---|
| adam_text |
TABLE
OF
CONTENTS
CERES
IN
MANY-VALUED
LOGICS
MATTHIAS
BAAZ
AND
ALEXANDER
LEITSCH
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
1
A
DECOMPOSITION
RULE
FOR
DECISION
PROCEDURES
BY
RESOLUTION-BASED
CALCULI
ULLRICH
HUSTADT,
BORIS
MOTIK,
AND
ULRIKE
SATTLER
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
21
ABSTRACT
DPLL
AND
ABSTRACT
DPLL
MODULO
THEORIES
ROBERT
NIEUWENHUIS,
ALBERT
OLIVERAS,
AND
CESARE
TINELLI
.
.
.
.
.
.
.
.
.
.
.
36
COMBINING
LISTS
WITH
NON-STABLY
INYYNITE
THEORIES
PASCAL
FONTAINE,
SILVIO
RANISE,
AND
CALOGERO
G.
ZARBA
.
.
.
.
.
.
.
.
.
.
.
.
.
51
ABSTRACT
MODEL
GENERATION
FOR
PREPROCESSING
CLAUSE
SETS
MIYUKI
KOSHIMURA,
MAYUMI
UMEDA,
AND
RYUZO
HASEGAWA
.
.
.
.
.
.
.
.
.
.
67
FLAT
AND
ONE-VARIABLE
CLAUSES:
COMPLEXITY
OF
VERIFYING
CRYPTOGRAPHIC
PROTOCOLS
WITH
SINGLE
BLIND
COPYING
HELMUT
SEIDL
AND
KUMAR
NEERAJ
VERMA
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
79
APPLICATIONS
OF
GENERAL
EXACT
SATISYYABILITY
IN
PROPOSITIONAL
LOGIC
MODELLING
VILHELM
DAHLL¨OF
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
95
BCIC:
A
SYSTEM
FOR
CODE
AUTHENTICATIONAND
VERIYYCATION
NATHAN
WHITEHEAD
AND
MART´YYN
ABADI
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
110
ORDERED
RESOLUTION
WITH
SELECTION
FOR
H
(@)
CARLOS
ARECES
AND
DANIEL
GOR´YYN
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
125
ON
A
SEMANTIC
SUBSUMPTION
TEST
JERZY
MARCINKOWSKI,
JAN
OTOP,
AND
GRZEGORZ
STELMASZEK
.
.
.
.
.
.
.
.
.
.
.
142
SUITABLE
GRAPHS
FOR
ANSWER
SET
PROGRAMMING
THOMAS
LINKE
AND
VLADIMIR
SARSAKOV
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
154
WEIGHTED
ANSWER
SETS
AND
APPLICATIONS
IN
INTELLIGENCE
ANALYSIS
DAVY
VAN
NIEUWENBORGH,
STIJN
HEYMANS,
AND
DIRK
VERMEIR
.
.
.
.
.
.
.
.
169
HOW
TO
FIX
IT:
USING
FIXPOINTS
IN
DIYYERENT
CONTEXTS
IGOR
WALUKIEWICZ
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
184
REASONING
ABOUT
SYSTEMS
WITH
TRANSITION
FAIRNESS
BENJAMIN
AMINOF,
THOMAS
BALL,
AND
ORNA
KUPFERMAN
.
.
.
.
.
.
.
.
.
.
.
.
194
X
TABLE
OF
CONTENTS
ENTANGLEMENT
-
A
MEASURE
FOR
THE
COMPLEXITY
OF
DIRECTED
GRAPHS
WITH
APPLICATIONS
TO
LOGIC
AND
GAMES
DIETMAR
BERWANGER
AND
ERICH
GR¨ADEL
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
209
HOW
THE
LOCATION
OF
YY
INYYUENCES
COMPLEXITY
IN
KLEENE
ALGEBRA
WITH
TESTS
CHRIS
HARDIN
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
224
THE
EQUATIONAL
THEORY
OF
YY
N
,
0
,
1
,
+
,
×
,
YY×
IS
DECIDABLE,
BUT
NOT
FINITELY
AXIOMATISABLE
ROBERTO
DI
COSMO
AND
THOMAS
DUFOUR
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
240
A
TRICHOTOMY
IN
THE
COMPLEXITY
OF
PROPOSITIONAL
CIRCUMSCRIPTION
GUSTAV
NORDH
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
257
EXPLOITING
FIXABLE,
REMOVABLE,
AND
IMPLIED
VALUES
IN
CONSTRAINT
SATISFACTION
PROBLEMS
LUCAS
BORDEAUX,
MARCO
CADOLI,
AND
TONI
MANCINI
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
270
EVALUATING
QBFS
VIA
SYMBOLIC
SKOLEMIZATION
MARCO
BENEDETTI
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
285
THE
DEPENDENCY
PAIR
FRAMEWORK:
COMBINING
TECHNIQUES
FOR
AUTOMATED
TERMINATION
PROOFS
J¨URGEN
GIESL,
REN´E
THIEMANN,
AND
PETER
SCHNEIDER-KAMP
.
.
.
.
.
.
.
.
.
301
AUTOMATED
TERMINATION
ANALYSIS
FOR
INCOMPLETELY
DEYYNED
PROGRAMS
CHRISTOPH
WALTHER
AND
STEPHAN
SCHWEITZER
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
332
AUTOMATIC
CERTIYYCATION
OF
HEAP
CONSUMPTION
LENNART
BERINGER,
MARTIN
HOFMANN,
ALBERTO
MOMIGLIANO,
AND
OLHA
SHKARAVSKA
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
347
A
FORMALIZATION
OF
OYY-LINE
GUESSING
FOR
SECURITY
PROTOCOL
ANALYSIS
PAUL
HANKES
DRIELSMA,
SEBASTIAN
M¨ODERSHEIM,
AND
LUCA
VIGAN`O
.
.
.
.
363
ABSTRACTION-CARRYING
CODE
ELVIRA
ALBERT,
GERM´AN
PUEBLA,
AND
MANUEL
HERMENEGILDO
.
.
.
.
.
.
.
.
.
.
380
A
VERIYYCATION
ENVIRONMENT
FOR
SEQUENTIAL
IMPERATIVE
PROGRAMS
IN
ISABELLE/HOL
NORBERT
SCHIRMER
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
398
CAN
A
HIGHER-ORDER
AND
A
FIRST-ORDER
THEOREM
PROVER
COOPERATE?
CHRISTOPH
BENZM¨ULLER,
VOLKER
SORGE,
MATEJA
JAMNIK,
AND
MANFRED
KERBER
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
415
A
GENERIC
FRAMEWORK
FOR
INTERPROCEDURAL
ANALYSES
OF
NUMERICAL
PROPERTIES
MARKUS
M¨ULLER-OLM
AND
HELMUT
SEIDL
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
432
TABLE
OF
CONTENTS
XI
SECOND-ORDER
MATCHING
VIA
EXPLICIT
SUBSTITUTIONS
FL´AVIO
L.C.
DE
MOURA,
FAIROUZ
KAMAREDDINE,
AND
MAURICIO
AYALA-RINC´ON
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
433
KNOWLEDGE-BASED
SYNTHESIS
OF
DISTRIBUTED
SYSTEMS
USING
EVENT
STRUCTURES
MARK
BICKFORD,
ROBERT
C.
CONSTABLE,
JOSEPH
Y.
HALPERN,
AND
SABINA
PETRIDE
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
449
THE
INVERSE
METHOD
FOR
THE
LOGIC
OF
BUNCHED
IMPLICATIONS
KEVIN
DONNELLY,
TYLER
GIBSON,
NEEL
KRISHNASWAMI,
STEPHEN
MAGILL,
AND
SUNGWOO
PARK
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
466
CUT-ELIMINATION:
EXPERIMENTS
WITH
CERES
MATTHIAS
BAAZ,
STEFAN
HETZL,
ALEXANDER
LEITSCH,
CLEMENS
RICHTER,
AND
HENDRIK
SPOHR
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
481
UNIFORM
RULES
AND
DIALOGUE
GAMES
FOR
FUZZY
LOGICS
AGATA
CIABATTONI,
CHRISTIAN
G.
FERM¨ULLER,
AND
GEORGE
METCALFE
.
.
.
.
.
496
NONMONOTONIC
DESCRIPTION
LOGIC
PROGRAMS:
IMPLEMENTATION
AND
EXPERIMENTS
THOMAS
EITER,
GIOVAMBATTISTA
IANNI,
ROMAN
SCHINDLAUER,
AND
HANS
TOMPITS
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
511
IMPLEMENTING
EYYCIENT
RESOURCE
MANAGEMENT
FOR
LINEAR
LOGIC
PROGRAMMING
PABLO
L´OPEZ
AND
JEYY
POLAKOW
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
528
LAYERED
CLAUSAL
RESOLUTION
IN
THE
MULTI-MODAL
LOGIC
OF
BELIEFS
AND
GOALS
JAMSHID
BAGHERZADEH
AND
S.
ARUN-KUMAR
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
544
AUTHOR
INDEX
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
561 |
| any_adam_object | 1 |
| author_GND | (DE-588)131845098 |
| building | Verbundindex |
| bvnumber | BV019833341 |
| callnumber-first | Q - Science |
| callnumber-label | QA76 |
| callnumber-raw | QA76.63 |
| callnumber-search | QA76.63 |
| callnumber-sort | QA 276.63 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | SS 4800 |
| classification_tum | DAT 706f DAT 540f |
| ctrlnum | (OCoLC)58654678 (DE-599)BVBBV019833341 |
| dewey-full | 005.1/15 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 005 - Computer programming, programs, data, security |
| dewey-raw | 005.1/15 |
| dewey-search | 005.1/15 |
| dewey-sort | 15.1 215 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik Mathematik |
| format | Conference Proceeding Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000 cb4500</leader><controlfield tag="001">BV019833341</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20050622</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">050606s2005 gw |||| 10||| eng d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">05,N09,0039</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">05,A16,0029</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">973670185</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3540252363</subfield><subfield code="c">kart. : EUR 72.76 (freier Pr.), sfr 120.50 (freier Pr.)</subfield><subfield code="9">3-540-25236-3</subfield></datafield><datafield tag="024" ind1="3" ind2=" "><subfield code="a">9783540252368</subfield></datafield><datafield tag="028" ind1="5" ind2="2"><subfield code="a">11403487</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)58654678</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV019833341</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakddb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="044" ind1=" " ind2=" "><subfield code="a">gw</subfield><subfield code="c">XA-DE-BE</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-473</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-11</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA76.63</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.1/15</subfield><subfield code="2">22</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 706f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 540f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">510</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Logic for programming, artificial intelligence, and reasoning</subfield><subfield code="b">11th international conference, LPAR 2004, Montevideo, Uruguay, March 14 - 18, 2005 ; proceedings</subfield><subfield code="c">Franz Baader ... (eds.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">2005</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XI, 562 S.</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">3452 : Lecture notes in artificial intelligence</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Literaturangaben</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Démonstration automatique de théorèmes</subfield><subfield code="2">rasuqam</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Intelligence artificielle - Congrès</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Intelligence artificielle</subfield><subfield code="2">rasuqam</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Programmation logique - Congrès</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Programmation logique</subfield><subfield code="2">rasuqam</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Raisonnement (Informatique)</subfield><subfield code="2">rasuqam</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Théorèmes - Démonstration automatique - Congrès</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Künstliche Intelligenz</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Artificial intelligence</subfield><subfield code="v">Congresses</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Automatic theorem proving</subfield><subfield code="v">Congresses</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic programming</subfield><subfield code="v">Congresses</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Programmierlogik</subfield><subfield code="0">(DE-588)4047408-2</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Logische Programmierung</subfield><subfield code="0">(DE-588)4195096-3</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Automatisches Beweisverfahren</subfield><subfield code="0">(DE-588)4069034-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="y">2004</subfield><subfield code="z">Montevideo</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Logische Programmierung</subfield><subfield code="0">(DE-588)4195096-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" ind2="0"><subfield code="a">Automatisches Beweisverfahren</subfield><subfield code="0">(DE-588)4069034-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="2" ind2="0"><subfield code="a">Programmierlogik</subfield><subfield code="0">(DE-588)4047408-2</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Baader, Franz</subfield><subfield code="d">1959-</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)131845098</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">LPAR</subfield><subfield code="n">11</subfield><subfield code="d">2005</subfield><subfield code="c">Montevideo</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)10099541-X</subfield><subfield code="4">oth</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">3452 : Lecture notes in artificial intelligence</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">3452</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">DNB Datenaustausch</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=013158387&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-013158387</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 2004 Montevideo gnd-content |
| genre_facet | Konferenzschrift 2004 Montevideo |
| id | DE-604.BV019833341 |
| illustrated | Not Illustrated |
| indexdate | 2025-03-10T13:02:13Z |
| institution | BVB |
| institution_GND | (DE-588)10099541-X |
| isbn | 3540252363 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-013158387 |
| oclc_num | 58654678 |
| open_access_boolean | |
| owner | DE-473 DE-BY-UBG DE-739 DE-91G DE-BY-TUM DE-706 DE-83 DE-11 |
| owner_facet | DE-473 DE-BY-UBG DE-739 DE-91G DE-BY-TUM DE-706 DE-83 DE-11 |
| physical | XI, 562 S. |
| publishDate | 2005 |
| publishDateSearch | 2005 |
| publishDateSort | 2005 |
| publisher | Springer |
| record_format | marc |
| series | Lecture notes in computer science |
| series2 | Lecture notes in computer science |
| spelling | Logic for programming, artificial intelligence, and reasoning 11th international conference, LPAR 2004, Montevideo, Uruguay, March 14 - 18, 2005 ; proceedings Franz Baader ... (eds.) Berlin [u.a.] Springer 2005 XI, 562 S. txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 3452 : Lecture notes in artificial intelligence Literaturangaben Démonstration automatique de théorèmes rasuqam Intelligence artificielle - Congrès Intelligence artificielle rasuqam Programmation logique - Congrès Programmation logique rasuqam Raisonnement (Informatique) rasuqam Théorèmes - Démonstration automatique - Congrès Künstliche Intelligenz Artificial intelligence Congresses Automatic theorem proving Congresses Logic programming Congresses Programmierlogik (DE-588)4047408-2 gnd rswk-swf Logische Programmierung (DE-588)4195096-3 gnd rswk-swf Automatisches Beweisverfahren (DE-588)4069034-9 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2004 Montevideo gnd-content Logische Programmierung (DE-588)4195096-3 s DE-604 Automatisches Beweisverfahren (DE-588)4069034-9 s Programmierlogik (DE-588)4047408-2 s Baader, Franz 1959- Sonstige (DE-588)131845098 oth LPAR 11 2005 Montevideo Sonstige (DE-588)10099541-X oth Lecture notes in computer science 3452 : Lecture notes in artificial intelligence (DE-604)BV000000607 3452 DNB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=013158387&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Logic for programming, artificial intelligence, and reasoning 11th international conference, LPAR 2004, Montevideo, Uruguay, March 14 - 18, 2005 ; proceedings Lecture notes in computer science Démonstration automatique de théorèmes rasuqam Intelligence artificielle - Congrès Intelligence artificielle rasuqam Programmation logique - Congrès Programmation logique rasuqam Raisonnement (Informatique) rasuqam Théorèmes - Démonstration automatique - Congrès Künstliche Intelligenz Artificial intelligence Congresses Automatic theorem proving Congresses Logic programming Congresses Programmierlogik (DE-588)4047408-2 gnd Logische Programmierung (DE-588)4195096-3 gnd Automatisches Beweisverfahren (DE-588)4069034-9 gnd |
| subject_GND | (DE-588)4047408-2 (DE-588)4195096-3 (DE-588)4069034-9 (DE-588)1071861417 |
| title | Logic for programming, artificial intelligence, and reasoning 11th international conference, LPAR 2004, Montevideo, Uruguay, March 14 - 18, 2005 ; proceedings |
| title_auth | Logic for programming, artificial intelligence, and reasoning 11th international conference, LPAR 2004, Montevideo, Uruguay, March 14 - 18, 2005 ; proceedings |
| title_exact_search | Logic for programming, artificial intelligence, and reasoning 11th international conference, LPAR 2004, Montevideo, Uruguay, March 14 - 18, 2005 ; proceedings |
| title_full | Logic for programming, artificial intelligence, and reasoning 11th international conference, LPAR 2004, Montevideo, Uruguay, March 14 - 18, 2005 ; proceedings Franz Baader ... (eds.) |
| title_fullStr | Logic for programming, artificial intelligence, and reasoning 11th international conference, LPAR 2004, Montevideo, Uruguay, March 14 - 18, 2005 ; proceedings Franz Baader ... (eds.) |
| title_full_unstemmed | Logic for programming, artificial intelligence, and reasoning 11th international conference, LPAR 2004, Montevideo, Uruguay, March 14 - 18, 2005 ; proceedings Franz Baader ... (eds.) |
| title_short | Logic for programming, artificial intelligence, and reasoning |
| title_sort | logic for programming artificial intelligence and reasoning 11th international conference lpar 2004 montevideo uruguay march 14 18 2005 proceedings |
| title_sub | 11th international conference, LPAR 2004, Montevideo, Uruguay, March 14 - 18, 2005 ; proceedings |
| topic | Démonstration automatique de théorèmes rasuqam Intelligence artificielle - Congrès Intelligence artificielle rasuqam Programmation logique - Congrès Programmation logique rasuqam Raisonnement (Informatique) rasuqam Théorèmes - Démonstration automatique - Congrès Künstliche Intelligenz Artificial intelligence Congresses Automatic theorem proving Congresses Logic programming Congresses Programmierlogik (DE-588)4047408-2 gnd Logische Programmierung (DE-588)4195096-3 gnd Automatisches Beweisverfahren (DE-588)4069034-9 gnd |
| topic_facet | Démonstration automatique de théorèmes Intelligence artificielle - Congrès Intelligence artificielle Programmation logique - Congrès Programmation logique Raisonnement (Informatique) Théorèmes - Démonstration automatique - Congrès Künstliche Intelligenz Artificial intelligence Congresses Automatic theorem proving Congresses Logic programming Congresses Programmierlogik Logische Programmierung Automatisches Beweisverfahren Konferenzschrift 2004 Montevideo |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=013158387&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV000000607 |
| work_keys_str_mv | AT baaderfranz logicforprogrammingartificialintelligenceandreasoning11thinternationalconferencelpar2004montevideouruguaymarch14182005proceedings AT lparmontevideo logicforprogrammingartificialintelligenceandreasoning11thinternationalconferencelpar2004montevideouruguaymarch14182005proceedings |