Per Year
@book{bratman87, apice = {Bratman87}, author = {Bratman, Michael E.}, isbn = {9780674458192}, isbn10 = {0674458192}, month = nov, publisher = {Harvard University Press}, title = {Intention, Plans, and Practical Reason}, year = 1987 }
@inproceedings{swprocess-icse87, address = {Los Alamitos, CA, USA}, apice = {SwprocessIcse87}, author = {Osterweil, Leon J.}, booktitle = {9th International Conference on Software Engineering (ICSE '87)}, isbn = {0-89791-216-0}, location = {Monterey, California, United States}, pages = {2--13}, publisher = {IEEE Computer Society Press}, title = {Software Processes are Software too}, year = 1987 }
@incollection{situatedaction-suchman1987, address = {New York, NYU, USA}, apice = {SituatedactionSuchmann1987}, author = {Suchman, Lucy A.}, booktitle = {Plans and Situated Actions: The Problem of Human-Machine Communication}, chapter = 4, isbn = {978-0521337397}, isbn10 = {0-521-33137-4}, pages = {49--67}, publisher = {Cambridge University Press}, title = {Plans and Situated Actions: The Problem of Human-Machine Communication}, year = 1987 }
@inproceedings{objects-ecoop1987, apice = {ObjectsEcoop1987}, author = {Paola Mello and Natali, Antonio}, booktitle = {ECOOP'87 European Conference on Object-Oriented Programming}, doi = {10.1007/3-540-47891-4_17}, isbn = {978-3-540-18353-2}, numpages = 11, pages = {181--191}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, title = {Objects as Communicating Prolog Units}, volume = 276, year = 1987 }
@article{linearlogic-tcs50, apice = {LinearlogicTcs50}, author = {Girard, Jean-Yves}, doi = {/10.1016/0304-3975(87)90045-4}, issn = {0304-3975}, journal = {Theoretical Computer Science}, number = 1, numpages = 102, pages = {1--102}, publisher = {North Holland, Amsterdam}, title = {Linear logic}, url = {https://www.sciencedirect.com/science/article/pii/0304397587900454}, volume = 50, year = 1987 }
@inproceedings{prs-aaai87, address = {Seattle, WA, USA}, apice = {PrsAaai1987}, author = {Georgeff, Michael P. and Lansky, Amy L.}, booktitle = {6th National Conference on Artificial Intelligence (AAAI-87)}, editor = {Forbus, Kenneth and Shrobe, Howard}, isbn = {0-934613-42-7}, isbn13 = {978-0-262-51055-4}, month = {13-17~} # jul, note = {Proceedings}, pages = {677--682}, publisher = {AAAI Press}, title = {Reactive Reasoning and Planning}, url = {https://www.aaai.org/Papers/AAAI/1987/AAAI87-121.pdf}, volume = 2, year = 1987 }
@inproceedings{clp-popl87, abstract = {We address the problem of designing programming systems to reason with and about constraints. Taking a logic programming approach, we define a class of programming languages, the CLP languages, all of which share the same essential semantic properties. From a conceptual point of view, CLP programs are highly declarative and are soundly based within a unified framework of formal semantics. This framework not only subsumes that of logic programming, but satisfies the core properties of logic programs more naturally. From a user's point of view, CLP programs have great expressive power due to the constraints which they naturally manipulate. Intuition in the reasoning about programs is enhanced as a result of working directly in the intended domain of discourse. This contrasts with working in the Herbrand Universe wherein every semantic object has to be explicitly coded into a Herbrand term; this enforces reasoning at a primitive level. Finally, from an implementor's point of view, CLP systems can be efficient because of the exploitation of constraint solving techniques over specific domains.}, apice = {ClpPopl87}, author = {Joxan Jaffar and Jean-Louis Lassez}, booktitle = {POPL '87: Proceedings of the 14th ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages}, doi = {10.1145/41625.41635}, isbn10 = {0-89791-215-2}, location = {New York, NY, USA}, numpages = 9, pages = {111--119}, publisher = {ACM}, title = {Constraint Logic Programming}, year = 1987 }
publications
/
1987
/
personal
Andrea Agiollo
•
Roberta Calegari
•
Giovanni Ciatto
•
Enrico Denti
•
Matteo Magnini
•
Mattia Matteini
•
Sara Montagna
•
Andrea Omicini
•
Giuseppe Pisano
•
Federico Sabbatini