Over constrained systems:
Gespeichert in:
| Format: | Buch |
|---|---|
| Sprache: | German |
| Veröffentlicht: |
Berlin [u.a.]
Springer
1996
|
| Schriftenreihe: | Lecture notes in computer science
1106 |
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | X, 309 S. graph. Darst. |
| ISBN: | 3540614796 |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV010821784 | ||
| 003 | DE-604 | ||
| 005 | 19970403 | ||
| 007 | t| | ||
| 008 | 960617s1996 gw d||| |||| 10||| ger d | ||
| 016 | 7 | |a 947712895 |2 DE-101 | |
| 020 | |a 3540614796 |c : DM 70.00 |9 3-540-61479-6 | ||
| 035 | |a (OCoLC)722487000 | ||
| 035 | |a (DE-599)BVBBV010821784 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a ger | |
| 044 | |a gw |c DE | ||
| 049 | |a DE-91G |a DE-384 |a DE-739 |a DE-19 |a DE-20 |a DE-634 |a DE-83 |a DE-706 | ||
| 050 | 0 | |a QA76.63.O83 1996 | |
| 082 | 0 | |a 005.1/2 |2 20 | |
| 082 | 0 | |a 005.1/2 20 | |
| 084 | |a DAT 540f |2 stub | ||
| 084 | |a 28 |2 sdnb | ||
| 245 | 1 | 0 | |a Over constrained systems |c Michael Jampel ... (ed.) |
| 246 | 1 | 3 | |a Over-constrained systems |
| 264 | 1 | |a Berlin [u.a.] |b Springer |c 1996 | |
| 300 | |a X, 309 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Lecture notes in computer science |v 1106 | |
| 650 | 7 | |a Constraints (taalkunde) |2 gtt | |
| 650 | 4 | |a Contraintes (Intelligence artificielle) - Congrès | |
| 650 | 7 | |a Contraintes (intelligence artificielle) |2 ram | |
| 650 | 7 | |a Logisch programmeren |2 gtt | |
| 650 | 4 | |a Programmation logique - Congrès | |
| 650 | 7 | |a Programmation logique |2 ram | |
| 650 | 4 | |a Systèmes, Analyse de - Congrès | |
| 650 | 7 | |a Systèmes, Analyse de |2 ram | |
| 650 | 7 | |a programmation en logique |2 inriac | |
| 650 | 7 | |a programmation sous contrainte |2 inriac | |
| 650 | 7 | |a satisfaction contrainte |2 inriac | |
| 650 | 7 | |a système base contrainte |2 inriac | |
| 650 | 4 | |a Logic programming |x Congresses | |
| 650 | 4 | |a Constraints (Artificial intellilgence) |x Congresses | |
| 650 | 4 | |a System analysis |x Congresses | |
| 650 | 0 | 7 | |a Constraint |g Künstliche Intelligenz |0 (DE-588)4314755-0 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Constraint-logische Programmierung |0 (DE-588)4382849-8 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 1995 |z Cassis |2 gnd-content | |
| 689 | 0 | 0 | |a Constraint-logische Programmierung |0 (DE-588)4382849-8 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Constraint |g Künstliche Intelligenz |0 (DE-588)4314755-0 |D s |
| 689 | 1 | |5 DE-604 | |
| 700 | 1 | |a Jampel, Michael |e Sonstige |4 oth | |
| 830 | 0 | |a Lecture notes in computer science |v 1106 |w (DE-604)BV000000607 |9 1106 | |
| 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=007232266&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-007232266 | |
Datensatz im Suchindex
| _version_ | 1820874850792636416 |
|---|---|
| adam_text |
CONTENTS
A
BRIEF
OVERVIEW
OF
OVER-CONSTRAINED
SYSTEMS
.
1
MICHAEL
JAMPEL
BACKGROUND
PAPERS
CONSTRAINT
HIERARCHIES
.
23
ALAN
BOMING,
BJORN
FREEMAN-BENSON,
AND
MOLLY
WILSON
PARTIAL
CONSTRAINT
SATISFACTION
.
63
EUGENE
FREUDER
AND
RICHARD
WALLACE
SEMIRING-BASED
CSPS
AND
VALUED
CSPS:
BASIC
PROPERTIES
AND
COMPARISON
.
ILL
STEFANO
BISTARELLI,
H^LINE
FARGIER,
UGO
MONTANARI,
FRANCESCA
ROSSI,
THOMAS
SCHIEX,
AND
GERARD
VERFAILLIE
CONSTRAINT
LOGIC
PROGRAMMING
DEFEASIBLE
CONSTRAINT
SOLVING
.
151
FRANCISCO
MENEZES
AND
PEDRO
BARAHONA
TRANSFORMING
ORDERED
CONSTRAINT
HIERARCHIES
INTO
ORDINARY
CONSTRAINT
SYSTEMS
.
171
ARMIN
WOLF
A
COMPOSITIONAL
THEORY
OF
CONSTRAINT
HIERARCHIES
.
189
MICHAEL
JAMPEL
CONSTRAINT
SATISFACTION
PROBLEMS
HEURISTIC
METHODS
FOR
OVER-CONSTRAINED
CONSTRAINT
SATISFACTION
PROBLEMS
.
207
RICHARD
WALLACE
AND
EUGENE
FREUDER
X
CASCADED
DIRECTED
ARC
CONSISTENCY
AND
NO-GOOD
LEARNING
FOR
THE
MAXIMAL
CONSTRAINT
SATISFACTION
PROBLEM
.
217
RICHARD
WALLACE
PARTIAL
ARC
CONSISTENCY
.
229
NICK
DENDRIS,
LEFTERIS
KIROUSIS,
YANNIS
STAMATIOU,
AND
DIMITRIS
THILIKOS
DYNAMIC
CONSTRAINT
SATISFACTION
WITH
CONFLICT
MANAGEMENT
IN
DESIGN
.
237
ESTHER
GELLE
AND
IAN
SMITH
ALTERNATIVE
PARADIGMS
SPECIFYING
OVER-CONSTRAINED
PROBLEMS
IN
DEFAULT
LOGIC
.
253
ABDUL
SATTAR,
ADITYA
GHOSE,
AND
RANDY
GOEBEL
IMPLEMENTING
CONSTRAINT
RELAXATION
OVER
FINITE
DOMAINS
USING
ASSUMPTION-BASED
TRUTH
MAINTENANCE
SYSTEMS
.
265
NARENDRA
JUSSIEN
AND
PATRICE
BOIZUMAULT
EXPERIENCES
IN
SOLVING
CONSTRAINT
RELAXATION
NETWORKS
WITH
BOLTZMANN
MACHINES
.
281
ROLF
WEIFLSCHNUR,
JOACHIM
HERTZBERG,
AND
HANS
WERNER
GUESGEN
SOLVING
OVER-CONSTRAINED
CSPS
USING
WEIGHTED
OBDDS
.
293
FABRICE
BOUQUET
AND
PHILIPPE
JEGOU
AUTHOR
INDEX
.
309 |
| any_adam_object | 1 |
| building | Verbundindex |
| bvnumber | BV010821784 |
| callnumber-first | Q - Science |
| callnumber-label | QA76 |
| callnumber-raw | QA76.63.O83 1996 |
| callnumber-search | QA76.63.O83 1996 |
| callnumber-sort | QA 276.63 O83 41996 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | SS 4800 |
| classification_tum | DAT 540f |
| ctrlnum | (OCoLC)722487000 (DE-599)BVBBV010821784 |
| dewey-full | 005.1/2 005.1/220 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 005 - Computer programming, programs, data, security |
| dewey-raw | 005.1/2 005.1/2 20 |
| dewey-search | 005.1/2 005.1/2 20 |
| dewey-sort | 15.1 12 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| format | 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">BV010821784</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">19970403</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">960617s1996 gw d||| |||| 10||| ger d</controlfield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">947712895</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3540614796</subfield><subfield code="c">: DM 70.00</subfield><subfield code="9">3-540-61479-6</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)722487000</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV010821784</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">ger</subfield></datafield><datafield tag="044" ind1=" " ind2=" "><subfield code="a">gw</subfield><subfield code="c">DE</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-91G</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-706</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA76.63.O83 1996</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.1/2</subfield><subfield code="2">20</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.1/2 20</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">28</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Over constrained systems</subfield><subfield code="c">Michael Jampel ... (ed.)</subfield></datafield><datafield tag="246" ind1="1" ind2="3"><subfield code="a">Over-constrained systems</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">1996</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">X, 309 S.</subfield><subfield code="b">graph. Darst.</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">1106</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Constraints (taalkunde)</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Contraintes (Intelligence artificielle) - Congrès</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Contraintes (intelligence artificielle)</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Logisch programmeren</subfield><subfield code="2">gtt</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">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Systèmes, Analyse de - Congrès</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Systèmes, Analyse de</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">programmation en logique</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">programmation sous contrainte</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">satisfaction contrainte</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">système base contrainte</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic programming</subfield><subfield code="x">Congresses</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Constraints (Artificial intellilgence)</subfield><subfield code="x">Congresses</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">System analysis</subfield><subfield code="x">Congresses</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Constraint</subfield><subfield code="g">Künstliche Intelligenz</subfield><subfield code="0">(DE-588)4314755-0</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Constraint-logische Programmierung</subfield><subfield code="0">(DE-588)4382849-8</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">1995</subfield><subfield code="z">Cassis</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Constraint-logische Programmierung</subfield><subfield code="0">(DE-588)4382849-8</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">Constraint</subfield><subfield code="g">Künstliche Intelligenz</subfield><subfield code="0">(DE-588)4314755-0</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Jampel, Michael</subfield><subfield code="e">Sonstige</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">1106</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">1106</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=007232266&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-007232266</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 1995 Cassis gnd-content |
| genre_facet | Konferenzschrift 1995 Cassis |
| id | DE-604.BV010821784 |
| illustrated | Illustrated |
| indexdate | 2025-01-10T15:06:18Z |
| institution | BVB |
| isbn | 3540614796 |
| language | German |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-007232266 |
| oclc_num | 722487000 |
| open_access_boolean | |
| owner | DE-91G DE-BY-TUM DE-384 DE-739 DE-19 DE-BY-UBM DE-20 DE-634 DE-83 DE-706 |
| owner_facet | DE-91G DE-BY-TUM DE-384 DE-739 DE-19 DE-BY-UBM DE-20 DE-634 DE-83 DE-706 |
| physical | X, 309 S. graph. Darst. |
| publishDate | 1996 |
| publishDateSearch | 1996 |
| publishDateSort | 1996 |
| publisher | Springer |
| record_format | marc |
| series | Lecture notes in computer science |
| series2 | Lecture notes in computer science |
| spelling | Over constrained systems Michael Jampel ... (ed.) Over-constrained systems Berlin [u.a.] Springer 1996 X, 309 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 1106 Constraints (taalkunde) gtt Contraintes (Intelligence artificielle) - Congrès Contraintes (intelligence artificielle) ram Logisch programmeren gtt Programmation logique - Congrès Programmation logique ram Systèmes, Analyse de - Congrès Systèmes, Analyse de ram programmation en logique inriac programmation sous contrainte inriac satisfaction contrainte inriac système base contrainte inriac Logic programming Congresses Constraints (Artificial intellilgence) Congresses System analysis Congresses Constraint Künstliche Intelligenz (DE-588)4314755-0 gnd rswk-swf Constraint-logische Programmierung (DE-588)4382849-8 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 1995 Cassis gnd-content Constraint-logische Programmierung (DE-588)4382849-8 s DE-604 Constraint Künstliche Intelligenz (DE-588)4314755-0 s Jampel, Michael Sonstige oth Lecture notes in computer science 1106 (DE-604)BV000000607 1106 DNB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=007232266&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Over constrained systems Lecture notes in computer science Constraints (taalkunde) gtt Contraintes (Intelligence artificielle) - Congrès Contraintes (intelligence artificielle) ram Logisch programmeren gtt Programmation logique - Congrès Programmation logique ram Systèmes, Analyse de - Congrès Systèmes, Analyse de ram programmation en logique inriac programmation sous contrainte inriac satisfaction contrainte inriac système base contrainte inriac Logic programming Congresses Constraints (Artificial intellilgence) Congresses System analysis Congresses Constraint Künstliche Intelligenz (DE-588)4314755-0 gnd Constraint-logische Programmierung (DE-588)4382849-8 gnd |
| subject_GND | (DE-588)4314755-0 (DE-588)4382849-8 (DE-588)1071861417 |
| title | Over constrained systems |
| title_alt | Over-constrained systems |
| title_auth | Over constrained systems |
| title_exact_search | Over constrained systems |
| title_full | Over constrained systems Michael Jampel ... (ed.) |
| title_fullStr | Over constrained systems Michael Jampel ... (ed.) |
| title_full_unstemmed | Over constrained systems Michael Jampel ... (ed.) |
| title_short | Over constrained systems |
| title_sort | over constrained systems |
| topic | Constraints (taalkunde) gtt Contraintes (Intelligence artificielle) - Congrès Contraintes (intelligence artificielle) ram Logisch programmeren gtt Programmation logique - Congrès Programmation logique ram Systèmes, Analyse de - Congrès Systèmes, Analyse de ram programmation en logique inriac programmation sous contrainte inriac satisfaction contrainte inriac système base contrainte inriac Logic programming Congresses Constraints (Artificial intellilgence) Congresses System analysis Congresses Constraint Künstliche Intelligenz (DE-588)4314755-0 gnd Constraint-logische Programmierung (DE-588)4382849-8 gnd |
| topic_facet | Constraints (taalkunde) Contraintes (Intelligence artificielle) - Congrès Contraintes (intelligence artificielle) Logisch programmeren Programmation logique - Congrès Programmation logique Systèmes, Analyse de - Congrès Systèmes, Analyse de programmation en logique programmation sous contrainte satisfaction contrainte système base contrainte Logic programming Congresses Constraints (Artificial intellilgence) Congresses System analysis Congresses Constraint Künstliche Intelligenz Constraint-logische Programmierung Konferenzschrift 1995 Cassis |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=007232266&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV000000607 |
| work_keys_str_mv | AT jampelmichael overconstrainedsystems |