International Workshop on Description Logics: Rome, June 2 - 3, 1995
Gespeichert in:
| Körperschaft: | |
|---|---|
| Format: | Tagungsbericht Buch |
| Sprache: | English |
| Veröffentlicht: |
[S.l.]
1995
|
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | In Ringbuch |
| Beschreibung: | II, 147 S. graph. Darst. |
Internformat
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV010750445 | ||
| 003 | DE-604 | ||
| 005 | 19960513 | ||
| 007 | t | ||
| 008 | 960513s1995 d||| |||| 10||| eng d | ||
| 035 | |a (OCoLC)248629353 | ||
| 035 | |a (DE-599)BVBBV010750445 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-29T | ||
| 111 | 2 | |a International Workshop on Description Logics |d 1995 |c Rom |j Verfasser |0 (DE-588)1900621-4 |4 aut | |
| 245 | 1 | 0 | |a International Workshop on Description Logics |b Rome, June 2 - 3, 1995 |c Alex Borgida ... |
| 264 | 1 | |a [S.l.] |c 1995 | |
| 300 | |a II, 147 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 500 | |a In Ringbuch | ||
| 650 | 0 | 7 | |a Mathematische Logik |0 (DE-588)4037951-6 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Wissensrepräsentation |0 (DE-588)4049534-6 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 1995 |z Rom |2 gnd-content | |
| 689 | 0 | 0 | |a Wissensrepräsentation |0 (DE-588)4049534-6 |D s |
| 689 | 0 | 1 | |a Mathematische Logik |0 (DE-588)4037951-6 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Borgida, Alex |e Sonstige |4 oth | |
| 856 | 4 | 2 | |m GBV Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=007179189&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-007179189 | ||
Datensatz im Suchindex
| _version_ | 1804125230166179840 |
|---|---|
| adam_text | INTERNATIONAL WORKSHOP ON DESCRIPTION LOGICS ROME, JUNE 2-3, 1995 ALEX
BORGIDA DEPARTMENT OF COMPUTER SCIENCE RUTGERS UNIVERSITY, NEW
BRUNSWICK, NJ, U.S.A. BORGIDA@CS.RUTGERS.EDU MAURIZIO LENZERINI
DIPARTIMENTO DI INFORMATICA E SISTERMISTICA UNIVERSITA DI ROMA, LA
SAPIENZA , ITALY LENZERINI@DIS. UNKOMAL.IT DANIELE NARDI DIPARTIMENTO DI
INFORMATICA E SISTERMISTICA UNIVERSITA DI ROMA, LA SAPIENZA , ITALY
NARDI@DIS.UNIROMAL.IT BERNHARD NEBEL UNIVERSITY OF ULM AND DFKI,
SAARBRIICKEN NEBEL@INFORMATIK.UNI-ULM.DE CONTENTS EXTENSIONS TO
DESCRIPTION LOGICS HIERARCHICAL PLANS IN A DESCRIPTION LOGIC OF TIME AND
ACTION ALESSANDRO ARTALE, LADSEB-CNR; ENRICO FRAN- CONI, IRST
TERMINOLOGICAL LOGICS WITH MODAL OPERATORS FRANZ BAADER, RWTH AACHEN;
ARMIN LAUX, DFKI 6 EPISTEMIC .4C-KNOWLEDGE BASES FRANCESCO M. DONINI,
DANIELE NARDI, RICCARDO ROSATI, UNIVERSITA DI ROMA 13 HIERARCHICAL
CORRESPONDANCE BETWEEN PHYSICAL SITUATIONS AND ACTION MODELS VEROMQUE
ROYER, ONERA DES/SIA 19 CLOSING THE TERMINOLOGY ROBERT WEIDA, IBM T.
J. WATSON RESEARCH CEN- , TER 25 INTEGRATION WITH OTHER FORMALISMS
TOWARDS A UNIFIED ARCHITECTURE FOR KNOWLEDGE REPRESENTATION AND
REASONING BASED ON TERMINOLOGICAL LOGICS LIVIU BADEA, RESEARCH INSTITUTE
FOR INFORMATICS 32 A HYBRID INTEGRATION OF RULES AND DESCRIPTIONS, WITH
F(RAMES)-LOGIC AS AN UNDERLYING FORMALISM MIRA BALABAN, BEN-GURION
UNIVERSITY 38 CARIN: A REPRESENTATION LANGUAGE COMBINING HORN RULES AND
DESCRIPTION LOGICS ALON Y. LEVY, AT&T BELL LABORATORIES; MANE- CHRISTINE
ROUSSET, UNIVERSITY OF PARIS-SUD 44 OBJECTS, CLASSES, SPECIALIZATION AND
SUBSUMPTION AMEDEO NAPOLI, CRIN CNRS-INRIA 52 COMBINING DESCRIPTION
LOGIC SYSTEMS WITH INFORMATION MANAGEMENT SYSTEMS LIN PADGHAM, ROYAL
MELBOURNE INSTITUTE OF TECH- NOLOGY 56 CONNECTIONS TO DATABASES A
SEMANTICS-DRIVEN QUERY OPTIMIZER FOR OODBS JEAN PAUL BALLERINI,
UNIVERSITA DI BOLOGNA; DOMENICO BENEVENTANO, UNIVERSITA DI MODENA; SONIA
BERGAMASCHI, UNIVERSITA DI MODENA; CLAU- DIO SARTORI, UNIVERSITA DI
BOLOGNA; MAURIZIO VINCINI, UNIVERSITA DI MODENA 59 METALEVEL FOR AN
EFFICIENT QUERY ANSWERING BERMUDEZ J., ILLARRAMENDI A., BLANCO J.M.,
GONI A, UNIVERSIDAD DEL PAFS VASCO 63 CACHING IN MULTIDATABASE SYSTEMS
BASED ON DL ALFREDO GONI, ARANTZA ILLARRAMENDI, JOSE MIGUEL BLANCO,
UNIVERSIDAD DEL PAFS VASCO 67 COOPERATIVE RECOGNITION OF INTERDATABASE
DEPENDENCIES M. KLUSCH, UNIVERSITAT KIEL FOUNDATIONS 72 LOGICAL AND
COMPUTATIONAL PROPERTIES OF THE * DESCRIPTION LOGIC P. BUONGARZONI, C.
MEGHINI, R. SALIS, F. SEBAS- TIANI, U. STRACCIA , IEI CNR 80 MAKING CATS
OUT OF KITTENS: DESCRIPTION LOGICS WITH AGGREGATES GIUSEPPE DE GIACOMO,
MAURIZIO LENZERINI, UNI- VERSITA DI ROMA 85 SYMBOLIC ARITHMETICAL
REASONING WITH QUALIFIED NUMBER RESTRICTIONS HANS JIIRGEN OHLBACH,
RENATE A. SCHMIDT, ULLRICH HUSTADT, MAX-PLANCK-INSTITUT FU R INFORMATIK
89 RESEARCH AND APPLICATIONS IN DESCRIPTION-LOGIC-BASED KNOWLEDGE
REPRESENTATION PETER F. PATEL-SCHNEIDER, DEBORAH L. MCGUIN- NESS,
MERRYLL KIM HERMAN, LORI ALPERIN RESNICK, ELM S. WEIXELBAUM, AT&T BELL
LABORATORIES 96 TEGHI ! !SCHE INFORMATIONSBIBLIOTHEK APPLICATIONS
TASK ACQUISITION WITH A DESCRIPTION LOGIC REASONER MARTIN BUCHHEIT,
HANS-JURGEN BURCKERT, BERN- HARD HOLLUNDER, ARMIN LAUX, WERNER NUTT,
MAREK WOJCIK, DFKI 99 PART-OF REASONING IN DESCRIPTION LOGICS: A
DOCUMENT MANAGEMENT APPLICATION PATRICK LAMBRIX, LINKOPING UNIVERSITY;
LIN PADGHAM ROYAL MELBOURNE INSTITUTE OF TECHNOL- OGY 106 DESCRIPTION
LOGIC-BASED CONFIGURATION FOR CONSUMERS DEBORAH L. MCGUINNESS, LORI
ALPERIN RESNICK, AT&T BELL LABORATORIES 109 FLEX-BASED DISAMBIGUATION IN
VERBMOBIL J. JOACHIM QUANTZ, GUIDO DUNKER, TU BERLIN; MANFRED GEHRKE,
SIEMENS AG; UWE KIISSNER, BIRTE SCHMITZ, TU BERLIN 112 A CONCEPT
LANGUAGE FOR AN ENGINEERING APPLICATION WITH PART*WHOLE RELATIONS ULRIKE
SATTLER, RWTH - AACHEN 119 SYSTEMS PARALLELIZING DESCRIPTION LOGICS
FRANK W. BERGMANN, J. JOACHIM QUANTZ, TECH- NISCHE UNIVERSITAT BERLIN
124 IMPLEMENTING AND TESTING EXPRESSIVE DESCRIPTION LOGICS: A
PRELIMINARY REPORT PAOLO BRESCIANI, ENRICO FRANCONI, SERGIO TES- SARIS,
IRST 131 FROM FRAMES TO CONCEPTS: BUILDING A CONCEPT LANGUAGE WITHIN A
FRAME-BASED SYSTEM T. KESSEL, 0. STERN, F. ROUSSELOT, ERIC, EN- SAIS 140
SELECTING DESCRIPTION LOGICS FOR REAL APPLICATIONS PIET-HEIN SPEEL,
UNILEVER RESEARCH LABORATORY 143
|
| any_adam_object | 1 |
| author_corporate | International Workshop on Description Logics Rom |
| author_corporate_role | aut |
| author_facet | International Workshop on Description Logics Rom |
| author_sort | International Workshop on Description Logics Rom |
| building | Verbundindex |
| bvnumber | BV010750445 |
| ctrlnum | (OCoLC)248629353 (DE-599)BVBBV010750445 |
| format | Conference Proceeding Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01421nam a2200349 c 4500</leader><controlfield tag="001">BV010750445</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">19960513 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">960513s1995 d||| |||| 10||| eng d</controlfield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)248629353</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV010750445</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="049" ind1=" " ind2=" "><subfield code="a">DE-29T</subfield></datafield><datafield tag="111" ind1="2" ind2=" "><subfield code="a">International Workshop on Description Logics</subfield><subfield code="d">1995</subfield><subfield code="c">Rom</subfield><subfield code="j">Verfasser</subfield><subfield code="0">(DE-588)1900621-4</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">International Workshop on Description Logics</subfield><subfield code="b">Rome, June 2 - 3, 1995</subfield><subfield code="c">Alex Borgida ...</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">[S.l.]</subfield><subfield code="c">1995</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">II, 147 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="500" ind1=" " ind2=" "><subfield code="a">In Ringbuch</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Mathematische Logik</subfield><subfield code="0">(DE-588)4037951-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Wissensrepräsentation</subfield><subfield code="0">(DE-588)4049534-6</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">Rom</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Wissensrepräsentation</subfield><subfield code="0">(DE-588)4049534-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Mathematische Logik</subfield><subfield code="0">(DE-588)4037951-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Borgida, Alex</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">GBV 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=007179189&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-007179189</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 1995 Rom gnd-content |
| genre_facet | Konferenzschrift 1995 Rom |
| id | DE-604.BV010750445 |
| illustrated | Illustrated |
| indexdate | 2024-07-09T17:58:15Z |
| institution | BVB |
| institution_GND | (DE-588)1900621-4 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-007179189 |
| oclc_num | 248629353 |
| open_access_boolean | |
| owner | DE-29T |
| owner_facet | DE-29T |
| physical | II, 147 S. graph. Darst. |
| publishDate | 1995 |
| publishDateSearch | 1995 |
| publishDateSort | 1995 |
| record_format | marc |
| spelling | International Workshop on Description Logics 1995 Rom Verfasser (DE-588)1900621-4 aut International Workshop on Description Logics Rome, June 2 - 3, 1995 Alex Borgida ... [S.l.] 1995 II, 147 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier In Ringbuch Mathematische Logik (DE-588)4037951-6 gnd rswk-swf Wissensrepräsentation (DE-588)4049534-6 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 1995 Rom gnd-content Wissensrepräsentation (DE-588)4049534-6 s Mathematische Logik (DE-588)4037951-6 s DE-604 Borgida, Alex Sonstige oth GBV Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=007179189&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | International Workshop on Description Logics Rome, June 2 - 3, 1995 Mathematische Logik (DE-588)4037951-6 gnd Wissensrepräsentation (DE-588)4049534-6 gnd |
| subject_GND | (DE-588)4037951-6 (DE-588)4049534-6 (DE-588)1071861417 |
| title | International Workshop on Description Logics Rome, June 2 - 3, 1995 |
| title_auth | International Workshop on Description Logics Rome, June 2 - 3, 1995 |
| title_exact_search | International Workshop on Description Logics Rome, June 2 - 3, 1995 |
| title_full | International Workshop on Description Logics Rome, June 2 - 3, 1995 Alex Borgida ... |
| title_fullStr | International Workshop on Description Logics Rome, June 2 - 3, 1995 Alex Borgida ... |
| title_full_unstemmed | International Workshop on Description Logics Rome, June 2 - 3, 1995 Alex Borgida ... |
| title_short | International Workshop on Description Logics |
| title_sort | international workshop on description logics rome june 2 3 1995 |
| title_sub | Rome, June 2 - 3, 1995 |
| topic | Mathematische Logik (DE-588)4037951-6 gnd Wissensrepräsentation (DE-588)4049534-6 gnd |
| topic_facet | Mathematische Logik Wissensrepräsentation Konferenzschrift 1995 Rom |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=007179189&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT internationalworkshopondescriptionlogicsrom internationalworkshopondescriptionlogicsromejune231995 AT borgidaalex internationalworkshopondescriptionlogicsromejune231995 |