feed icon rss

Your email was sent successfully. Check your inbox.

An error occurred while sending the email. Please try again.

Proceed reservation?

Export
Filter
Type of Medium
Language
Region
Subjects(RVK)
Access
  • 1
    UID:
    almahu_BV040255934
    Format: XI, 594 S. : , Ill., graph. Darst.
    ISBN: 3-642-30742-6 , 978-3-642-30742-3
    Series Statement: Lecture Notes in Computer Science 7265 : Festschrift
    Additional Edition: Erscheint auch als Online-Ausgabe ISBN 978-3-642-30743-0
    Language: English
    Keywords: Künstliche Intelligenz ; Logik ; Logische Programmierung ; Frage-Antwort-System ; Aufsatzsammlung ; Festschrift ; Aufsatzsammlung ; Festschrift ; Aufsatzsammlung ; Festschrift ; Aufsatzsammlung ; Festschrift ; Aufsatzsammlung
    URL: Cover
    Author information: Lifschitz, Vladimir, 1947-
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 2
    UID:
    b3kat_BV050227055
    Format: 1 Online-Ressource (xvi, 249 Seiten) , Illustrationen
    ISBN: 9783031849244
    Series Statement: Lecture notes in computer science 15537
    Note: Das Symposium teilte den Standort mit dem "ACM SIGPLAN Symposium on Principles of Programming Languages (POPL) 2025"
    Additional Edition: Erscheint auch als Druck-Ausgabe ISBN 978-3-031-84923-7
    Additional Edition: Erscheint auch als Druck-Ausgabe ISBN 978-3-031-84925-1
    Language: English
    Keywords: Deklarative Programmiersprache ; Konferenzschrift
    URL: Volltext  (URL des Erstveröffentlichers)
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 3
    UID:
    b3kat_BV035770385
    Format: 1 Online-Ressource (XV, 656 S.) , graph. Darst.
    ISBN: 9783642042379 , 9783642042386
    Series Statement: Lecture Notes in Computer Science 5753 : Lecture Notes in Artificial Intelligence
    Language: English
    Keywords: Logische Programmierung ; Wissensrepräsentation ; Nichtmonotones Schließen ; Problemlösen ; Inferenz ; Frage-Antwort-System ; Logische Programmierung ; Nichtmonotones Schließen ; Konferenzschrift ; Konferenzschrift
    URL: Volltext  (lizenzpflichtig)
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 4
    UID:
    almahu_BV035723336
    Format: XV, 656 S. : , graph. Darst. ; , 235 mm x 155 mm.
    ISBN: 978-3-642-04237-9
    Series Statement: Lecture Notes in Computer Science 5753 : Lecture Notes in Artificial Intelligence
    Language: English
    Keywords: Logische Programmierung ; Wissensrepräsentation ; Nichtmonotones Schließen ; Problemlösen ; Inferenz ; Frage-Antwort-System ; Logische Programmierung ; Nichtmonotones Schließen ; Konferenzschrift ; Konferenzschrift
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 5
    UID:
    almahu_9949474042702882
    Format: 1 online resource (307 p.)
    ISBN: 9783050065229 , 9783110636949
    Series Statement: Deutsche Zeitschrift für Philosophie / Sonderbände , 34
    Content: Philosophy, economics, and politics are the three most important coordinates that define the work of Karl Marx. The texts collected in this volume undertake a systematic reflection of these three realms and their inter-relationships in the context of contemporary social and political change. They offer an overview of the breadth of modern methods and ways of thinking that are related to Marx.
    Content: philosophie, Ökonomie und Politik sind die drei wichtigsten Koordinaten, welche das Werk von Karl Marx markieren. Diese Begriffe stellen aber nicht etwa thematische Rubriken oder Disziplinenunterscheidungen dar, sondern bilden theoretische Kategorien, die zueinander in einem Negations- oder Kontestationsverhältnis stehen. Den im vorliegenden Band versammelten Texten geht es um eine systematische Reflexion dieser drei Begriffe und ihres Verhältnisses zueinander vor dem Hintergrund aktueller sozialer und politischer Entwicklungen. Die Texte bieten einen Überblick über Disparität und Spannbreite von Ansätzen und Überlegungen, die sich heute auf Marx beziehen: von Arbeiten über aristotelische, hegelsche oder fouriersche Einflüsse in Marx' Arbeiten über Bezüge zur Neoklassik oder analytischen Philosophie bis hin zu postkolonialen und feministischen Theorien. Auch sie stehen zueinander in ebenso einem Konkurrenz- wie in einem Komplementärverhältnis, denn sie widersprechen einander zwar, verweisen so aber auch einander auf blinde Flecken oder Problemfelder. Gemeinsam ist ihnen allerdings eine Unzufriedenheit mit den Beschränkungen der Vorherrschaft des politischen Liberalismus, mit welchem sich nach Eindruck der Beitragenden weder die Pathologien den gegenwärtigen Gesellschaftsformation, noch eine fruchtbare politische Perspektive zu deren Veränderung gewinnen lässt.
    Note: Frontmatter -- , Inhaltsverzeichnis -- , Philosophie, Ökonomie, Politik: Einleitung -- , I. Philosophie -- , Marx als Anti-Philosoph -- , "... unbedingt das letzte Wort aller Philosophie" Marx und die hegelsche Dialektik -- , Marx zwischen politischer und sozialer Philosophie -- , Marx' Theorie der Entfremdung -- , Marxens Kapitalismuskritik als Kritik an menschenunwürdigen Verhältnissen -- , Veränderung, Verdinglichung, Entfremdung Über Marxens verhegelt-verhagelte Ontologie -- , "Das Ei des Kolumbus"? Über den grundlegenden - und problematischen - Einfluss Fouriers auf das marxsche Denken -- , II. Ökonomie -- , Marx, ein Exzerpt und der "falsche Bruder" Zu einer Genealogie der "Kritik der politischen Ökonomie" -- , Von den ,kanonischen' Texten zu Marx' ungeschriebenem Kapital -- , Entfremdung und ökonomische Rationalität -- , Reicht Anerkennung? Über Mucken der marxschen Marktkritik -- , Die ethische Kritik ökonomischer Institutionen -- , Marx and Gender -- , The ManyNon-Wests Marx's Global Modernity and the Coloniality of Labor -- , The Financialization of the Globe and SubalternWomen in the Third World -- , III. Politik -- , ... Es kommt darauf an, sie zu verändern: Gesellschaftstheorie als epistem-onto-logischer Einsatz -- , Für eine politische Wertigkeit des Affekts Marxistisch-feministische Notizen -- , Thinking with Marx towards a Feminist Postcapitalist Politics -- , Marxism, Politics, and Social Experience -- , Über die Autorinnen und Autoren -- , Personenregister , Issued also in print. , Mode of access: Internet via World Wide Web. , In German.
    In: DGBA Philosophy 2000 - 2014, De Gruyter, 9783110636949
    In: eBook-Paket AV  Philosophie 2013, De Gruyter, 9783110342727
    Additional Edition: ISBN 9783050063218
    Language: German
    Subjects: Philosophy
    RVK:
    Keywords: Konferenzschrift
    URL: Cover
    URL: Volltext  (lizenzpflichtig)
    URL: Cover
    URL: Cover
    URL: Cover
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 6
    UID:
    kobvindex_DGP1639233865
    Format: graph. Darst., Tab.
    ISSN: 1045-0300
    Content: Kaya, A.: Introduction : (Re)Considering the last fifty years of migration and current immigration policies in Germany. - S. 1-12
    Content: Wilhelm, C.: Diversity in Germany : a historical perspective. - S. 13-29
    Content: Williams, D.: Germanness or rights? : Second generation young adults and citizenship in contemporary Germany. - S. 30-48
    Content: Kılıç, Z. ; Petzen, J.: The culture of multiculturalism and racialized art. - S. 49-65
    Content: Mandel, R.: Fifty years of migration, fifty years of waiting. - S. 66-78
    Content: Can, H.: Alevi-Zaza belongings beyond borders : insider/outsider attributions and identity empowerment strategies in transnational and multigenerational family spaces between Turkey and Diaspora. - S. 79-92
    Content: Erdem, E.: Community and democratic citizenship : a critique of the Sinus study on immigrant milieus in Germany. - S. 93-107
    Content: Wilpert, C.: Identity issues in the history of the postwar migration from Turkey to Germany. - S. 108-131
    Content: Eggers, M.M.: Antidiskriminierungsengagierte Schülerinnen und Schüler mit einem türkischen Hintergrund an Berliner Schulen : Intersektionen von Geschlechterkonzeptionen, Rassismuskritik, und Diversitätsverständnissen. - S. 132-149
    Note: Lit.-Hinw
    In: German politics and society, New York, NY [u.a.] : Berghahn Books, 1986, 31(2013), 2, Seite [1]-149, 1045-0300
    Language: English
    Author information: Eggers, Maureen Maisha 1973-
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 7
    UID:
    gbv_1639233865
    Format: graph. Darst., Tab.
    ISSN: 1045-0300
    Content: Kaya, A.: Introduction : (Re)Considering the last fifty years of migration and current immigration policies in Germany. - S. 1-12
    Content: Wilhelm, C.: Diversity in Germany : a historical perspective. - S. 13-29
    Content: Williams, D.: Germanness or rights? : Second generation young adults and citizenship in contemporary Germany. - S. 30-48
    Content: Kılıç, Z. ; Petzen, J.: The culture of multiculturalism and racialized art. - S. 49-65
    Content: Mandel, R.: Fifty years of migration, fifty years of waiting. - S. 66-78
    Content: Can, H.: Alevi-Zaza belongings beyond borders : insider/outsider attributions and identity empowerment strategies in transnational and multigenerational family spaces between Turkey and Diaspora. - S. 79-92
    Content: Erdem, E.: Community and democratic citizenship : a critique of the Sinus study on immigrant milieus in Germany. - S. 93-107
    Content: Wilpert, C.: Identity issues in the history of the postwar migration from Turkey to Germany. - S. 108-131
    Content: Eggers, M.M.: Antidiskriminierungsengagierte Schülerinnen und Schüler mit einem türkischen Hintergrund an Berliner Schulen : Intersektionen von Geschlechterkonzeptionen, Rassismuskritik, und Diversitätsverständnissen. - S. 132-149
    Note: Lit.-Hinw , Kaya, A.: Introduction : (Re)Considering the last fifty years of migration and current immigration policies in Germany. - S. 1-12 Wilhelm, C.: Diversity in Germany : a historical perspective. - S. 13-29 Williams, D.: Germanness or rights? : Second generation young adults and citizenship in contemporary Germany. - S. 30-48 Kılıç, Z. ; Petzen, J.: The culture of multiculturalism and racialized art. - S. 49-65 Mandel, R.: Fifty years of migration, fifty years of waiting. - S. 66-78 Can, H.: Alevi-Zaza belongings beyond borders : insider/outsider attributions and identity empowerment strategies in transnational and multigenerational family spaces between Turkey and Diaspora. - S. 79-92 Erdem, E.: Community and democratic citizenship : a critique of the Sinus study on immigrant milieus in Germany. - S. 93-107 Wilpert, C.: Identity issues in the history of the postwar migration from Turkey to Germany. - S. 108-131 Eggers, M.M.: Antidiskriminierungsengagierte Schülerinnen und Schüler mit einem türkis
    In: German politics and society, New York, NY [u.a.] : Berghahn Books, 1986, 31(2013), 2, Seite [1]-149, 1045-0300
    In: volume:31
    In: year:2013
    In: number:2
    In: pages:[1]-149
    Language: English
    Author information: Eggers, Maureen Maisha 1973-
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 8
    UID:
    b3kat_BV049691587
    Format: 1 Online-Ressource (147 Seiten)
    Note: Veröffentlicht auf aliceOpen, dem Publikationsserver der Alice Salomon Hochschule Berlin, 16.04.2024 , Masterarbeit Alice Salomon Hochschule Berlin 2024
    Language: German
    Keywords: Flüchtlingslager ; Selbstverwaltung ; Migration ; Gemeineigentum ; Lawrion ; Kurdischer Flüchtling ; Hochschulschrift
    Author information: Lehnert, Esther 1966-
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 9
    UID:
    b3kat_BV040269040
    Format: 1 Online-Ressource (XI, 594 S.) , Ill., graph. Darst.
    ISBN: 9783642307430 , 3642307426
    Series Statement: Lecture Notes in Computer Science 7265 : Festschrift
    Additional Edition: Erscheint auch als Druck-Ausgabe, Paperback ISBN 978-3-642-30742-3
    Language: English
    Keywords: Logische Programmierung ; Frage-Antwort-System ; Künstliche Intelligenz ; Logik ; Festschrift
    Author information: Lifschitz, Vladimir 1947-
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 10
    UID:
    almahu_9947364150202882
    Format: XV, 656 p. , online resource.
    ISBN: 9783642042386
    Series Statement: Lecture Notes in Computer Science, 5753
    Content: This volume contains the proceedings of the 10th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2009) held during 14-18 September in Potsdam. The special theme of LPNMR 2009 is Applications of Logic Programming and Nonmonotonic Reasoning in general and Answer Set Programming (ASP) in particular. LPNMR 2009 aims at providing a comprehensive surrvey of the state ofo the art of ASP/LPNMR Applications. LPNMR 2009 received 75 submissions, of which 55 were technical ones, 8 original applications, 9 system description ones and 3 short papers. Out of these 25 technical, 4 original applications, 10 system description, and 13 short papers were accepted.
    Note: Session 1. Invited Talks -- SAT, SMT and Applications -- Logic-Based Modeling in Systems Biology -- Integrating Answer Set Programming and Satisfiability Modulo Theories -- Session 2. Technical Papers -- How Flexible Is Answer Set Programming? An Experiment in Formalizing Commonsense in ASP -- Splitting a CR-Prolog Program -- Contextual Argumentation in Ambient Intelligence -- Argumentation Context Systems: A Framework for Abstract Group Argumentation -- A Revised Concept of Safety for General Answer Set Programs -- Magic Sets for the Bottom-Up Evaluation of Finitely Recursive Programs -- Relevance-Driven Evaluation of Modular Nonmonotonic Logic Programs -- Complexity of the Stable Model Semantics for Queries on Incomplete Databases -- Manifold Answer-Set Programs for Meta-reasoning -- A Deductive System for FO(ID) Based on Least Fixpoint Logic -- Computing Stable Models via Reductions to Difference Logic -- A Module-Based Framework for Multi-language Constraint Modeling -- Induction on Failure: Learning Connected Horn Theories -- On Reductive Semantics of Aggregates in Answer Set Programming -- A First Order Forward Chaining Approach for Answer Set Computing -- Knowledge Qualification through Argumentation -- Simple Random Logic Programs -- Max-ASP: Maximum Satisfiability of Answer Set Programs -- Belief Revision with Bounded Treewidth -- Casting Away Disjunction and Negation under a Generalisation of Strong Equivalence with Projection -- A Default Approach to Semantics of Logic Programs with Constraint Atoms -- The Complexity of Circumscriptive Inference in Post’s Lattice -- Trichotomy Results on the Complexity of Reasoning with Disjunctive Logic Programs -- Belief Logic Programming: Uncertainty Reasoning with Correlation of Evidence -- Weight Constraint Programs with Functions -- Session 3. Original Application Papers -- Bridging the Gap between High-Level Reasoning and Low-Level Control -- A General Approach to the Verification of Cryptographic Protocols Using Answer Set Programming -- An ASP-Based System for e-Tourism -- cc? on Stage: Generalised Uniform Equivalence Testing for Verifying Student Assignment Solutions -- Session 4. Short Papers -- Translating Preferred Answer Set Programs to Propositional Logic -- CR-Prolog as a Specification Language for Constraint Satisfaction Problems -- Modeling Multi-agent Domains in an Action Languages: An Empirical Study Using -- Computing Weighted Solutions in Answer Set Programming -- Representing Multi-agent Planning in CLP -- Prototypical Reasoning with Low Complexity Description Logics: Preliminary Results -- AQL: A Query Language for Action Domains Modelled Using Answer Set Programming -- Level Mapping Induced Loop Formulas for Weight Constraint and Aggregate Programs -- Layer Supported Models of Logic Programs -- Applying ASP to UML Model Validation -- The Logical Consequence Role in LPNMR: A Parameterized Computation Approach -- Social Default Theories -- Session 5. System Descriptions -- nfn2dlp and nfnsolve: Normal Form Nested Programs Compiler and Solver -- An ASP System with Functions, Lists, and Sets -- A Simple Distributed Conflict-Driven Answer Set Solver -- An Implementation of Belief Change Operations Based on Probabilistic Conditional Logic -- On the Input Language of ASP Grounder Gringo -- The Conflict-Driven Answer Set Solver clasp: Progress Report -- System f2lp – Computing Answer Sets of First-Order Formulas -- The First Version of a New ASP Solver : ASPeRiX -- An ASP-Based Data Integration System -- Gorgias-C: Extending Argumentation with Constraint Solving -- Session 6. Summaries of Existing Successful Applications Papers -- ANTON: Composing Logic and Logic Composing -- Modelling Normative Frameworks Using Answer Set Programing -- Generating Optimal Code Using Answer Set Programming -- Logic Programming Techniques in Protein Structure Determination: Methodologies and Results -- PHYLO-ASP: Phylogenetic Systematics with Answer Set Programming -- HAPLO-ASP: Haplotype Inference Using Answer Set Programming -- Using Answer Set Programming to Enhance Operating System Discovery -- Non-monotonic Reasoning Supporting Wireless Sensor Networks for Intelligent Monitoring: The SINDI System -- Session 7. Short Application Papers -- Some DLV Applications for Knowledge Management -- Application of ASP for Automatic Synthesis of Flexible Multiprocessor Systems from Parallel Programs -- Optimal Multicore Scheduling: An Application of ASP Techniques -- Session 8 (Panel on Future Applications). Position Papers by the Panelists -- From Data Integration towards Knowledge Mediation -- Integrating Answer Set Modules into Agent Programs -- What Next for ASP? (A Not-Entirely-Well-Informed Opinion) -- Using Lightweight Inference to Solve Lightweight Problems -- Present and Future Challenges for ASP Systems -- ASP: The Future Is Bright -- Exploiting ASP in Real-World Applications: Main Strengths and Challenges -- Making Your Hands Dirty Inspires Your Brain! Or How to Switch ASP into Production Mode -- Towards an Embedded Approach to Declarative Problem Solving in ASP -- System Competition. Summary of System Competition -- The Second Answer Set Programming Competition.
    In: Springer eBooks
    Additional Edition: Printed edition: ISBN 9783642042379
    Language: English
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
Close ⊗
This website uses cookies and the analysis tool Matomo. Further information can be found on the KOBV privacy pages