Per anno
@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
}
pubblicazioni
/
1987
/
personali
Andrea Agiollo
•
Roberta Calegari
•
Giovanni Ciatto
•
Enrico Denti
•
Matteo Magnini
•
Mattia Matteini
•
Sara Montagna
•
Andrea Omicini
•
Giuseppe Pisano
•
Federico Sabbatini