Per anno

@inproceedings{alldifferent-aaai94,
    apice = {AlldifferentAaai94},
    author = {Jean-Charles Régin},
    booktitle = {Proceedings of the Twelfth National Conference on Artificial Intelligence (AAAI-94)},
    location = {Seattle, WA, USA},
    numpages = 6,
    pages = {362--367},
    publisher = {AAAI Press},
    title = {A Filtering Algorithm for Constraints of Difference in CSPs},
    url = {https://cdn.aaai.org/AAAI/1994/AAAI94-055.pdf},
    urlopenaccess = {https://cdn.aaai.org/AAAI/1994/AAAI94-055.pdf},
    volume = 1,
    year = 1994
}

@proceedings{maamawIV,
    abstract = {This volume contains thoroughly refereed versions of the best papers presented at the 4th European Workshop on Modelling Automomous Agents in a Multi-Agent World, held July 29 - 31, 1992 in S. Martino al Cimino, Italy. The book opens with an introductory survey by the volume editors not only on the collection of papers but also on the history and present situation of Distributed Artificial Intelligence (DAI) and its interdisciplinary relations to social sciences, artificial life, and economics. The 19 technical papers are organized into sections on artificial life and reactive systems, economics and game theory, coordination and multi-agent planning, and DAI tools and applications.},
    booktitle = {Artificial Social Systems},
    dblp = {conf/maamaw/1992},
    doi = {10.1007/3-540-58266-5},
    editor = {Cristiano Castelfranchi and Eric Werner},
    eisbn = {978-3-540-48589-6},
    eissn = {1611-3349},
    isbn = {978-3-540-58266-3},
    isbn10 = {3-540-58266-5},
    issn = {0302-9743},
    numpages = {XVIII, 337},
    publisher = {Springer Berlin Heidelberg},
    series = {Lecture Notes in Computer Science},
    subseries = {Lecture Notes in Artificial Intelligence},
    subtitle = {4th European Workshop on Modelling Autonomous Agents in a Multi-Agent World, MAAMAW '92, S. Martino al Cimino, Italy, July 1992. Selected Papers},
    title = {Artificial Social Systems},
    url = {https://link.springer.com/10.1007/3-540-58266-5},
    volume = 830,
    year = 1994
}

@article{pctl-fac6,
    apice = {PctlFac6},
    author = {Hansson, Hans and Jonsson, Bengt},
    doi = {10.1007/BF01211866},
    isbn = {1433-299X},
    journal = {Formal Aspects of Computing},
    month = sep,
    number = 5,
    pages = {512--535},
    title = {A logic for reasoning about time and reliability},
    url = {https://link.springer.com/10.1007/BF01211866},
    volume = 6,
    year = 1994
}

@inproceedings{lprobot-pap94,
    apice = {LprobotPap94},
    author = {Denti, Enrico and Natali, Antonio and Omicini, Andrea and Zanichelli, Francesco},
    booktitle = {2nd International Conference on the Practical Applications of Prolog (PAP'94)},
    editor = {Sterling, Leon},
    location = {London, UK},
    month = {26--29~} # apr,
    pages = {187--206},
    title = {A Structured Logic Programming Approach to Robot Programming},
    year = 1994
}

@article{clp-jlp1920,
    abstract = {Constraint Logic Programming (CLP) is a merger of two declarative paradigms: constraint solving and logic programming. Although a relatively new field, CLP has progressed in several quite different directions. In particular, the early fundamental concepts have been adapted to better serve in different areas of applications. In this survey of CLP, a primary goal is to give a systematic description of the major trends in terms of common fundamental concepts. The three main parts cover the theory, implementation issues, and programming for applications.},
    apice = {ClpJlp1920},
    author = {Joxan Jaffar and Michael J. Maher},
    doi = {10.1016/0743-1066(94)90033-7},
    journal = {The Journal of Logic Programming},
    month = {May},
    numpages = 79,
    pages = {503--581},
    publisher = {North-Holland},
    title = {Constraint Logic Programming: A Survey},
    volume = {19–20},
    year = 1994
}

@article{coordination-csur26,
    acm = {174668},
    apice = {CoordinationMalone94},
    author = {Malone, Thomas W. and Crowston, Kevin},
    doi = {10.1145/174666.174668},
    issn = {0360-0300},
    journal = {ACM Computing Surveys},
    number = 1,
    pages = {87--119},
    publisher = {ACM Press},
    title = {The Interdisciplinary Study of Coordination},
    url = {174668},
    volume = 26,
    year = 1994
}

@inproceedings{lprobot-icra94,
    apice = {LprobotIcra94},
    author = {Zanichelli, Francesco and Caselli, Stefano and Natali, Antonio and Omicini, Andrea},
    booktitle = {1994 IEEE International Conference on Robotics and Automation (ICRA'94)},
    core = {217746975},
    dblp = {conf/icra/ZanichelliCNO94},
    doi = {10.1109/ROBOT.1994.351032},
    ieee = {351032},
    iris = {11585/951124},
    isbn = {0-8186-5330-2},
    issn = {1050-4729},
    lens = {091-617-285-538-825},
    location = {San Diego, CA, USA},
    month = {8--13~} # may,
    openalex = {W1832945096},
    pages = {3501--3507},
    publisher = {IEEE CS},
    scopus = {2-s2.0-0028134395},
    title = {A Multi-Agent Framework and Programming Environment for Autonomous Robotics},
    volume = 4,
    wos = {WOS:A1994BA72M00521},
    year = 1994
}

@incollection{oolp-ilps94,
    apice = {OolpIlps94},
    author = {Denti, Enrico and Natali, Antonio and Omicini, Andrea},
    booktitle = {Implementations of Logic Programming Systems},
    dblp = {conf/iclp/DentiNO93},
    doi = {10.1007/978-1-4615-2690-2_7},
    editor = {Tick, Evan and Succi, Giancarlo},
    eisbn = {978-1-4615-2690-2},
    eissn = {978-1-4615-2690-2},
    iris = {11585/951126},
    isbn = {978-1-4613-6157-2},
    isbn10 = {0-7923-9457-7},
    issn = {978-1-4613-6157-2},
    keywords = {contextual logic programming; modules; structured theories},
    lens = {117-110-411-608-492},
    openalex = {W1570546230},
    pages = {89--101},
    publisher = {Kluwer Academic Publishers},
    title = {Moving {P}rolog Toward Objects},
    url = {https://link.springer.com/10.1007/978-1-4615-2690-2_7},
    wos = {WOS:A1994BB31B00007},
    year = 1994
}

@incollection{neuman-scale94,
    address = {Los Alamitos, CA, USA},
    apice = {NeumanScale94},
    author = {Neuman, B. Clifford},
    booktitle = {Readings in Distributed Computing Systems},
    editor = {Casavant, Thomas Lee and Singhal, Mukesh},
    pages = {463--489},
    publisher = {IEEE CS Press},
    title = {Scale in Distributed Systems},
    year = 1994
}

@inproceedings{lpse-iclp94,
    apice = {LpseIclp94},
    author = {Denti, Enrico and Omicini, Andrea},
    booktitle = {ICLP'94 Post-Conference Workshop on Applications of Logic Programming to Software Engineering},
    editor = {Ciancarini, Paolo and Sterling, Leon},
    location = {S. Margherita Ligure, GE, Italy},
    month = {18~} # jun,
    note = {Extended Abstract},
    pages = {139--148},
    title = {Open Logic Theory Composition in a Software Engineering Perspective},
    year = 1994
}

@inproceedings{oolp-ecoop94,
    acm = {646152.679515},
    apice = {OolpEcoop94},
    author = {Omicini, Andrea and Natali, Antonio},
    booktitle = {Object-Oriented Programming},
    dblp = {conf/ecoop/OmiciniN94},
    doi = {10.1007/BFb0052184},
    editor = {Tokoro, Mario and Pareschi, Remo},
    isbn = {3-540-58202-9},
    issn = {0302-9743},
    keywords = {Integration of object-oriented and logic paradigms, state configuration, partially configured instances, abduction, meta-level constraints},
    lens = {168-002-906-588-798},
    note = {8th European Conference (ECOOP'94), Bologna, Italy, 4--8~} # jul # {~1994. Proceedings},
    openalex = {W1590554478},
    pages = {194--212},
    publisher = {Springer-Verlag},
    scopus = {2-s2.0-21344495678},
    series = {Lecture Notes in Computer Science},
    title = {Object-Oriented Computations in Logic Programming},
    url = {https://link.springer.com/10.1007/BFb0052184},
    volume = 821,
    year = 1994
}

@book{tarski-logicbook1994,
    abstract = {The fourth edition of a classic book on logic has been thoroughly revised by the author's son. It is a fundamental guide to modern mathematical logic and to the construction of mathematical theories. The first half covers the elements of logic, and the second half covers the applications of logic in theory building. A short biographical sketch of Alfred Tarski is a newly-added section.},
    address = {New York, NY, USA},
    apice = {TarskiLogicbook1994},
    author = {Alfred Tarski and Jan Tarski},
    doi = {10.1093/oso/9780195044720.001.0001},
    isbn13 = {9780195044720},
    numpages = 229,
    publisher = {Oxford University Press},
    series = {Oxford Logic Guides},
    title = {Introduction to Logic and to the Methodology of the Deductive Sciences},
    url = {https://global.oup.com/academic/product/introduction-to-logic-and-to-the-methodology-of-deductive-sciences-9780195044720?cc=it&lang=en&},
    volume = 24,
    year = 1994
}

@article{logictuplespaces-ngc12,
    apice = {LogictuplespacesNgc12},
    author = {Ciancarini, Paolo},
    doi = {10.1007/BF03037345},
    issn = {0288-3635},
    journal = {New Generation Computing},
    number = 3,
    pages = {251--283},
    publisher = {Ohmsha, Ltd.},
    title = {Distributed Programming with {L}ogic {T}uple {S}paces},
    url = {https://link.springer.com/10.1007/BF03037345},
    urlpdf = {https://link.springer.com/content/pdf/10.1007/BF03037345.pdf},
    volume = 12,
    year = 1994
}

@article{bugliesi-jlp19,
    apice = {BugliesiJlp19},
    author = {Bugliesi, Michele and Lamma, Evelina and Mello, Paola},
    doi = {10.1016/0743-1066(94)90032-9},
    editor = {Bruynooghe, Maurice and Debray, Saumya K. and Hermenegildo, Manuel V. and Maher, Michael J.},
    issn = {0743-1066},
    journal = {The Journal of Logic Programming},
    note = {Special Issue: Ten Years of Logic Programming},
    pages = {443--502},
    publisher = {Elsevier},
    title = {Modularity in Logic Programming},
    volume = {19--20},
    year = 1994
}

@article{embedding-ic108,
    apice = {EmbeddingIc108},
    author = {de Boer, Frank S. and Palamidessi, Catiuscia},
    doi = {10.1006/inco.1994.1004},
    journal = {Information and Computation},
    number = 1,
    pages = {128--157},
    title = {Embedding as a Tool for Language Comparison},
    url = {https://www.sciencedirect.com/science/article/pii/S0890540184710042},
    volume = 108,
    year = 1994
}