-
Notifications
You must be signed in to change notification settings - Fork 0
/
news.html
167 lines (155 loc) · 7.82 KB
/
news.html
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
<!DOCTYPE html>
<html lang="en">
<head>
<meta charset="UTF-8">
<meta name="viewport" content="width=device-width, initial-scale=1.0, maximum-scale=1.0">
<link rel="shortcut icon" href="img/favicon.ico">
<title>CLP Lab | News</title>
<!-- Bootstrap's minified css -->
<link rel="stylesheet" type="text/css" href="css/bootstrap/css/bootstrap.min.css">
<!-- Font Awesome -->
<link rel="stylesheet" type="text/css" href="css/font-awesome.min.css">
<!-- Pages CSS -->
<link rel="stylesheet" type="text/css" href="css/style.css">
<!-- Print CSS -->
<link rel="stylesheet" media="print" href="css/print.css">
</head>
<body>
<header>
<nav class=" no-js navbar navbar-default" id="navbar">
<div class="container" id="primary-nav">
<div class="navbar-header">
<a class="navbar-brand site-title" href="index.html">CLP Lab</a>
<a href="#navbar-collapse" class="navbar-toggle collapsed" data-toggle="collapse" aria-expanded="false" aria-controls="navbar">
<span class="sr-only">Navigation</span>
<span class="icon-bar"></span>
<span class="icon-bar"></span>
<span class="icon-bar"></span>
</a>
</div>
<div id="navbar-collapse" class="navbar-collapse navbar-right collapse">
<a class="navbar-collapse-close" href="#navbar">Close menu</a>
<ul class="nav navbar-nav">
<li><a href="index.html" >Home</a></li>
<li><a href="members.html">Members</a></li>
<li>
<a href="projects.html">Projects</a>
<ul>
<li><a href="projects/indamgncs-2015.html">INDAM/GNCS 2015</a></li>
<li><a href="projects/indamgncs-2014.html">INDAM/GNCS 2014</a></li>
<li><a href="projects/indamgncs-2011.html">INDAM/GNCS 2011</a></li>
<li><a href="projects/indamgncs-2010.html">INDAM/GNCS 2010</a></li>
<li><a href="projects/indamgncs-2005.html">INDAM/GNCS 2005</a></li>
</ul>
</li>
<li>
<a href="software.html">Software</a>
<ul>
<li><a href="#">CP on GPU</a></li>
<li><a href="#">CUD@SAT</a></li>
<li><a href="#">Planning</a></li>
<li><a href="#">GELATO</a></li>
<li><a href="#">Coinduction and Bisimulation</a></li>
</ul>
</li>
<li><a href="events.html">Events</a></li>
<li class="current-menu-item"><a href="news.html">News</a></li>
<li><a href="contacts.html">Contacts</a></li>
</ul>
</div><!--/.nav-collapse -->
</div><!--/.container-fluid -->
</nav>
</header>
<div class="breadcrumbs">
<div class="container">
<span><a href="index.html">Home</a></span>
<i class="fa fa-angle-right"></i>
<span>News</span>
</div>
</div>
<div class="container">
<div class="row">
<div class="col-md-8">
<h1>Last News from CLP Lab</h1>
<article class="article">
<header>
<a href="articles/to-appear-in-proc-of-PADL-2016.html"><h2>To appear in proc of PADL 2016</h2></a>
<div class="article-date">9 December 2015</div>
</header>
<h3>A GPU Implementation of the ASP Computation</h3>
<p>By Agostino Dovier, Andrea Formisano, Enrico Pontelli, and Flavio Vella
Abstract
General Purpose Graphical Processing Units (GPUs) are affordable multi-core platforms, providing access to large number of cores, but at the price of a complex architecture with non-trivial synchronization and communication costs.
This paper presents the design and implementation of a conflict-driven ASP solver, that is capable of ...
</p>
<a class="button" href="articles/to-appear-in-proc-of-PADL-2016.html">Read More</a>
</article>
<article class="article">
<header>
<a href="#"><h2>Greetings from Genova</h2></a>
<div class="article-date">15 July 2015</div>
</header>
<img class="img-responsive img-medium" src="img/article2.jpg" alt="CLP Team in Genova">
<p>From left to right: Nando Fioretto, Agostino Dovier, Enrico Pontelli, and Alessandro Dal Palù (all but one teachers at the GULP school on logic programming).</p>
<a class="button" href="#">Read More</a>
</article>
<article class="article">
<header>
<a href="#"><h2>Journal paper on CUD@SAT</h2></a>
<div class="article-date">15 July 2015</div>
</header>
<p>
<strong>CUD@SAT: SAT Solving on GPUs.</strong><br />
A. Dal Palù, A. Dovier, A. Formisano, and E. Pontelli.
Journal of Experimental & Theoretical Artificial Intelligence (JETAI),
Volume 27(3), July 2015, pp. 293-316.
(draft) DOI: 10.1080/0952813X.2014.954274
<strong>Abstract</strong>
...
</p>
<a class="button" href="#">Read More</a>
</article>
<div class="older-news">
<a href="#"><i class="fa fa-long-arrow-left"></i>Older News</a>
</div>
</div>
<div class="col-md-4 hidden-sm hidden-xs">
<aside class="right-sidebar">
<h3>Menu</h3>
<ul>
<li><a href="index.html">Home</a></li>
<li><a href="members.html">Members</a></li>
<li><a href="projects.html">Projects</a></li>
<li><a href="software.html">Software</a></li>
<li><a href="events.html">Events</a></li>
<li><a href="news.html">News</a></li>
<li><a href="contacts.html">Contacts</a></li>
</ul>
<h3>Main Links</h3>
<ul>
<li><a href="http://www.math.unipr.it/~gianfr/setlog.Home.html">{log}: logic programming with Sets</a></li>
<li><a href="http://www.logicprogramming.org" title="The web site of the Association for Logic Programming and of the ALP Newsletter">Association for Logic Programming Newsletter</a></li>
<li><a href="http://4c.ucc.ie/cponline/index_with_news.php" title="The web site of the Association for Constraint Programming Newsletter">Constraint Programming Newsletter</a></li>
<li><a href="http://www.cs.nmsu.edu/fiasco" title="Fragment-based Interactive Assembly for protein Structure prediction with COnstraints">FIASCO: Fragment-based Interactive Assembly for protein Structure prediction with Constraints</a></li>
<li><a href="http://www-lia.deis.unibo.it/gulp/" title="The web site of the Italian Association for Logic Programming">GULP Gruppo Ricercatori e Utenti Logic Programming</a></li>
</ul>
<br />
</aside>
</div>
</div>
</div>
<footer>
<div class="col-sm-6 left-footer">
<p>
University of Udine © 2015<br />
All rights reserved
</p>
</div>
<div class="col-sm-6 right-footer">
<p>
<a href="#">Credits</a>
</p>
</div>
</footer>
</body>
</html>