Per anno

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