Suchergebnisse - "Pierre Marquis"

Treffer weiter einschränken
  1. 1

    IRIT-CNRS, Toulouse

    Autoren: Andreas Herzig Jerome Lang Pierre Marquis et al.

    Weitere Verfasser: Andreas Herzig Jerome Lang Pierre Marquis et al.

    Quelle: http://tocl.acm.org/accepted/herzig-lang_propositional.pdf.

    Schlagwörter: Categories and Subject Descriptors, I.2.4 [Artificial Intelligence, Knowledge Representation Formalisms and Methods General Terms, Algorithms, Languages, Theory Additional Key Words and Phrases, Knowledge Representation, Update, Computational Complexity Authors

    Dateibeschreibung: application/pdf

    Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.297.4880

    Verfügbarkeit: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.297.4880
    http://tocl.acm.org/accepted/herzig-lang_propositional.pdf

    View record from BASE Nájsť tento článok vo Web of Science
    Zu den Favoriten
  2. 2

    Polynomial Bounds of CFLOBDDs against BDDs.

    Autoren: Zhi, Xusheng Reps, Thomas

    Quelle: ACM Transactions on Programming Languages & Systems; Jun2025, Vol. 47 Issue 2, p1-36, 36p

    Schlagwörter: BOOLEAN functions, OPEN-ended questions, POLYNOMIALS

    Full Text Finder Nájsť tento článok vo Web of Science
    Zu den Favoriten
  3. 3

    Cumulative Author Index - Volumes 1–5.

    Quelle: Philosophia Mathematica; Jan1997, Vol. 5 Issue 3, p282-288, 7p

    Schlagwörter: INDEXES, AUTHORS

    Nájsť tento článok vo Web of Science
    Zu den Favoriten
  4. 4

    Jean-Baptiste Say. Papiers. XX Lettres adressées à J.-B. Say.

    Autoren: Say, Jean-Baptiste (1767-1832). Producteur d'un fonds Abauzit, Théodore. Auteur de lettres Adler. Auteur de lettres et al.

    Quelle: Bibliothèque nationale de France. Département des Manuscrits. NAF 26252

    Verfügbarkeit: http://data.europeana.eu/aggregation/europeana/9200519/ark__12148_btv1b100854581

    View record at Europeana Nájsť tento článok vo Web of Science
    Zu den Favoriten
  5. 5

    Formal tools and methods of Artificial Intelligence.

    Autoren: Bouraoui, Zied Wilczynski, Anaëlle

    Quelle: AI Communications; 2024, Vol. 37 Issue 3, p263-264, 2p

    Schlagwörter: ARTIFICIAL intelligence, SOCIAL choice

    Nájsť tento článok vo Web of Science
    Zu den Favoriten
  6. 6

    Knowledge compilation: Preface.

    Autoren: Darwiche, Adnan Marquis, Pierre

    Quelle: Annals of Mathematics & Artificial Intelligence; Oct2024, Vol. 92 Issue 5, p1007-1011, 5p

    Full Text Finder Nájsť tento článok vo Web of Science
    Zu den Favoriten
  7. 7

    Graph Structures for Knowledge Representation and Reasoning

    Autoren: Michael Cochez Madalina Croitoru Pierre Marquis et al.

    Resource Type: eBook.

    Schlagworte: Application software, Computer networks, Artificial intelligence, Knowledge representation (Information theory)--Congresses, Data structures (Computer science)--Congresses, Logic, Symbolic and mathematical

    Categories: COMPUTERS / Artificial Intelligence / General, COMPUTERS / Business & Productivity Software / General, COMPUTERS / Computer Science, COMPUTERS / Networking / General

    PDF-Volltext ePub Volltext
    Zu den Favoriten
  8. 8

    Argumentative Reasoning in ASPIC+ under Incomplete Information.

    Autoren: ODEKERKEN, DAPHNE LEHTONEN, TUOMO WALLNER, JOHANNES P. et al.

    Quelle: Journal of Artificial Intelligence Research; 2025, Vol. 83, p1-52, 52p

    Schlagwörter: CRIMINAL investigation, ALGORITHMS, DECISION making, SEMANTICS, POLICE

    Full Text Finder Nájsť tento článok vo Web of Science
    Zu den Favoriten
  9. 9

    On CNF Conversion for SAT and SMT Enumeration.

    Autoren: MASINA, GABRIELE SPALLITTA, GIUSEPPE SEBASTIANI, ROBERTO

    Quelle: Journal of Artificial Intelligence Research; 2025, Vol. 83, p1-44, 44p

    Schlagwörter: PLAINS, ENCODING

    Full Text Finder Nájsť tento článok vo Web of Science
    Zu den Favoriten
  10. 10

    Categories in Context: Historical, Foundational, and Philosophical: Categories in context: historical, foundational, and philosophical

    Autoren: Jean-Pierre Marquis Elaine Landry

    Quelle: Philosophia Mathematica. 13:1-43

    Schlagwörter: History of mathematics in the 20th century, category theory, Philosophy of mathematics, Foundations, relations to logic and deductive systems, 06 humanities and the arts, 0101 mathematics, 0603 philosophy, ethics and religion, 01 natural sciences, History of category theory

    Dateibeschreibung: application/xml

    Zugangs-URL: https://academic.oup.com/philmat/article-pdf/13/1/1/4466938/nki005.pdf
    https://academic.oup.com/philmat/article/13/1/1/1569366
    http://philmat.oxfordjournals.org/content/13/1/1.full
    https://philpapers.org/rec/LANCIC

    View record at OpenAIRE Nájsť tento článok vo Web of Science
    Zu den Favoriten
  11. 11

    FrontMatter.

    Quelle: Graph Structures for Knowledge Representation & Reasoning: 4th International Workshop, GKR 2015, Buenos Aires, Argentina, July 25, 2015, Revised Selected Papers; 2015, pI-VII, 7p

    Zu den Favoriten
  12. 12

    Mechanizing skeptical abduction and its applications to artificial intelligence

    Autoren: Pierre Marquis

    Quelle: [Proceedings] Third International Conference on Tools for Artificial Intelligence - TAI 91. :300-307

    Schlagwörter: 16. Peace & justice

    Zugangs-URL: http://ieeexplore.ieee.org/document/167108/
    https://doi.org/10.1109/TAI.1991.167108
    https://dblp.uni-trier.de/db/conf/ictai/ictai1991.html#Marquis91
    https://ieeexplore.ieee.org/document/167108/

    View record at OpenAIRE Nájsť tento článok vo Web of Science
    Zu den Favoriten
  13. 13

    Bibliographical Errata Regarding the Cumulative List of Winners of the Governor General's Literary Awards / Liste cumulative des lauréates et des lauréats des Prix littéraires du Gouverneur général, 2011.

    Autoren: Irvine, Andrew David

    Quelle: Papers of the Bibliographical Society of Canada / Cahiers de la Société Bibliographique du Canada; Spring2012, Vol. 50 Issue 1, p51-61, 11p

    Schlagwörter: PRIX du gouverneur general, LITERARY prizes, BIBLIOGRAPHIC errors, CANADIAN authors, AWARDS

    Geografische Kategorien: CANADA

    Full Text Finder Nájsť tento článok vo Web of Science
    Zu den Favoriten
  14. 14

    Unclaimed Runways in Colonial Haiti: Law, Liberation, and Re-Enslavement in the Atlantic World.

    Autoren: Edwards, Erica Johnson

    Quelle: Studies in Eighteenth Century Culture; 2023, Vol. 52, p67-83, 17p

    Schlagwörter: IMPRISONMENT, PLANTATIONS, ADVERTISING, SELF, SLAVERY

    Geografische Kategorien: HAITI, FRANCE

    Nájsť tento článok vo Web of Science
    Zu den Favoriten
  15. 15

    Prix littéraires du Gouverneur général: Lauréats en langue française, 1936-2013. (French)

    Autoren: Irvine, Andrew David Rivère, Edmond

    Quelle: Papers of the Bibliographical Society of Canada / Cahiers de la Société Bibliographique du Canada; Spring2014, Vol. 52 Issue 1, p163-267, 105p

    Schlagwörter: PRIX du gouverneur general, CANADIAN literature bibliography, GOVERNOR General's Literary Awards, CANADIAN literature, FRENCH-Canadian literature, CANADIAN authors, AWARDS, SOCIETIES

    Full Text Finder Nájsť tento článok vo Web of Science
    Zu den Favoriten
  16. 16

    THIRTEEN CHALLENGES IN FORMAL AND COMPUTATIONAL ARGUMENTATION.

    Autoren: LIUWEN YU VAN DER TORRE, LEENDERT MARKOVICH, RÉKA

    Quelle: Journal of Applied Logics- IfCoLog Journal of Logics & their Applications (FLAP); Mar2025, Vol. 12 Issue 3, p893-987, 95p

    Schlagwörter: OPEN-ended questions, ARTIFICIAL intelligence, DECISION making, LINGUISTICS, ETHICS

    Nájsť tento článok vo Web of Science
    Zu den Favoriten
  17. 17

    Erich Reck and Georg Schiemer.  The Prehistory of Mathematical Structuralism.

    Autoren: Marquis, Jean-Pierre

    Quelle: Philosophia Mathematica; Oct2020, Vol. 28 Issue 3, p416-420, 5p

    Schlagwörter: STRUCTURALISM, PREHISTORIC peoples

    Nájsť tento článok vo Web of Science
    Zu den Favoriten
  18. 18

    Computationally Hard Problems for Logic Programs under Answer Set Semantics.

    Autoren: Shen, Yuping Zhao, Xishun

    Quelle: ACM Transactions on Computational Logic; Oct2024, Vol. 25 Issue 4, p1-26, 26p

    Schlagwörter: LOGIC circuits, PHILOSOPHY of mathematics, ODD numbers, SEMANTICS (Philosophy), PROPOSITION (Logic)

    Full Text Finder Nájsť tento článok vo Web of Science
    Zu den Favoriten
  19. 19

    Author Index — Volume 14.

    Quelle: Philosophia Mathematica; Oct2006, Vol. 14 Issue 3, p401-402, 2p

    Schlagwörter: INDEXES, AUTHORS

    Nájsť tento článok vo Web of Science
    Zu den Favoriten
  20. 20

    Author Index — Volume 13.

    Quelle: Philosophia Mathematica; Oct2005, Vol. 13 Issue 3, p347-348, 2p

    Schlagwörter: INDEXES, AUTHORS

    Nájsť tento článok vo Web of Science
    Zu den Favoriten

Suchwerkzeuge: