Skip to main content


Export 56 results:
Sort by: [ Author  (Desc)] Title Type Year
Filters: First Letter Of Last Name is B  [Clear All Filters]
A [B] C D E F G H I J K L M N O P Q R S T U V W X Y Z   [Show ALL]
Busi, N., R. Gorrieri, C. Guidi, R. Lucchi, and G. Zavattaro, "Choreography and Orchestration Conformance for System Design", Proceedings of the 8th International Conference on Coordination Models and Languages (COORDINATION 2006), vol. 4038: Springer, pp. 63-81, 2006.
Bürckert, H. - J., "A Resolution Principle for Constrained Logics", Artificial Intelligence, vol. 66: Elsevier, pp. 235-271, 1994.
Burch, J. R., E. M. Clarke, K. L. McMillan, D. L. Dill, and L. J. Hwang, "Symbolic model checking: $10^20$ states and beyond}", Proceedings of the IEEE Symposium on Logic in Computer Science, Washington, DC, USA, IEEE Computer Society, pp. 428–439, 1990.
Bryant, R. E., "Graph-Based Algorithms for Boolean Function Manipulation", IEEE Transactions on Computers, vol. 35, no. 8, pp. 677-691, 1986.
Bragaglia, S., F. Chesani, A. Ciampolini, P. Mello, M. Montali, and D. Sottara, "An Hybrid Architecture Integrating Forward Rules with Fuzzy Ontological Reasoning", Proceedings of the 5th International Conference on Hybrid Artificial Intelligence Systems (HAIS 2010), vol. 6076: Springer, pp. 438–445, 2010.
Bragaglia, S., F. Chesani, P. Mello, M. Montali, and D. Sottara, "Fuzzy Conformance Checking of Observed Behaviour with Expectations", AI*IA 2011: Artificial Intelligence Around Man and Beyond, vol. LNCS 6934: Springer Berlin / Heidelberg, pp. 80-91, 2011.
Bragaglia, S., D. Sottara, F. Chesani, and P. Mello, "A Step Toward Tight Integration of Fuzzy Ontological Reasoning with Forward Rules", Proceedings of the Fourth International Conference on Web Reasoning and Rule Systems (RR2010), vol. 6333/2010, Bressanone, Italy, Springer, pp. 227-230, 2010.
Bragaglia, S., F. Chesani, E. Fry, P. Mello, M. Montali, and D. Sottara, "Event Condition Expectation (ECE-) Rules for Monitoring Observable Systems", RuleML America, vol. LNCS 7018, Ft. Lauderdale, FL, Florida, USA, Springer, pp. 267-281, 2011.
Bottrighi, A., F. Chesani, P. Mello, M. Montali, S. Montani, S. Storari, and P. Terenziani, "Analysis of the GLARE and GPROVE Approaches to Clinical Guidelines", {Knowledge Representation for Health-Care. Data, Processes and Guidelines. AIME 2009 Workshop KR4HC 2009, Revised Selected and Invited Papers}, vol. 5943: Springer, pp. 76-87, 2010.
Bottrighi, A., F. Chesani, P. Mello, M. Montali, S. Montani, and P. Terenziani, "Conformance Checking of Executed Clinical Guidelines in Presence of Basic Medical Knowledge", Business Process Management Workshops, vol. 100, Clermont-Ferrand, France, Springer Berlin Heidelberg, pp. 200-211, 01/2012.
Borghesi, A., M. Milano, M. Gavanelli, and T. Woods, "Simulation of Incentive mechanisms for renewable energy policies", 27th European Conference on Modelling and Simulation, Alesund, Norway, European Council for Modeling and Simulation , 05/2013.  Download: abs_ECMS2013_0128.pdf (734.65 KB)
Bonner, A. J., and M. Kifer, "Concurrency and Communication in Transaction Logic", Proceedings of the Joint International Conference and Symposium on Logic Programming (JICSLP '96): MIT Press, pp. 142-156, 1996.
Bonfietti, A., M. Lombardi, and M. Milano, "Embedding Decision Trees and Random Forests in Constraint Programming", Integration of {AI} and {OR} Techniques in Constraint Programming - 12th International Conference, {CPAIOR} 2015, Barcelona, Spain, May 18-22, 2015, Proceedings, pp. 74–90, 2015.
Bonfietti, A., M. Lombardi, and M. Milano, "De-Cycling Cyclic Scheduling Problems", Twenty-Third International Conference on Automated Planning and Scheduling, 2013.
Bonfietti, A., M. Lombardi, M. Milano, and L. Benini, "Throughput Constraint for Synchronous Data Flow Graphs", Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 6th International Conference, CPAIOR 2009, Pittsburgh, PA, USA, pp. 26-40, 2009.
Bonfietti, A., M. Lombardi, M. Milano, and L. Benini, "A constraint based approach to cyclic RCPSP", Principles and Practice of Constraint Programming, Perugia, Spinger, 2011.