-
Notifications
You must be signed in to change notification settings - Fork 0
Expand file tree
/
Copy pathgsoc.html
More file actions
276 lines (276 loc) · 11.1 KB
/
gsoc.html
File metadata and controls
276 lines (276 loc) · 11.1 KB
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
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
<?xml version="1.0" encoding="utf-8"?>
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
<html xmlns="http://www.w3.org/1999/xhtml">
<head>
<title>dlvhex</title>
<link rel="stylesheet" type="text/css" media="all" href="css/reset.css"></link>
<link rel="stylesheet" type="text/css" media="all" href="css/text.css"></link>
<link rel="stylesheet" type="text/css" media="all" href="css/960.css"></link>
<link rel="stylesheet" type="text/css" media="all" href="css/style.css"></link>
<meta http-equiv="Content-Type" content="text/html;charset=utf-8">
</head>
<body>
<!-- Title -->
<!--
<div class="container_12">
<div class="grid_12" id="title">
<h1>dlvhex</h1>
</div>
</div>
-->
<!-- Menu -->
<div class="container_12">
<div class="grid_12" id="menu">
<a href="index.html">About</a>
<a href="people.html">People</a>
<a href="news.html">News</a>
<a href="downloadb.html">Download Binaries</a>
<a href="downloads.html">Download Source</a>
<a href="support.html">Support</a>
<a href="documentation.html">Documentation</a>
<a href="demo.php">Online Demo</a>
<a href="http://asptut.gibbi.com/">ASP Tutorial</a>
<a href="related.html">Related Work</a>
<a href="applications.html">Applications</a>
<a href="literature.html">Literature</a>
</div>
</div>
<!-- Information -->
<div class="container_12">
<div class="grid_9">
<h2 class="eyecandy">Google Summer of Code</h2>
<p>
<a href="http://www.kr.tuwien.ac.at/research/systems/dlvhex/">dlvhex</a>
is an Open Source scientific prototype application
for computing the models of so-called HEX-programs.
HEX-programs are a declarative logic programming formalism
with a syntax similar to Prolog programs.
</p>
<p>
In HEX, declarative reasoning can use external computation sources,
which is useful for example to integrate knowledge in Semantic Web reasoning.
For example, a logic programming rule
</p>
<pre>reached(X) :- &reach[edge,a](X)</pre>
<p>
computes the predicate <tt>reached</tt>
taking values from the external computation which computes via <tt>reach[edge,a]</tt>
all the reachable nodes in the graph defined by predicate <tt>edge</tt> from node <tt>a</tt>,
delegating this task to an external computation source,
e.g., a description logic reasoner, a C++ function, or a shell script.
This way we can take advantage of efficient purpose-built solutions to computational problems
within a declarative reasoning paradigm.
</p>
<p>
Several research groups have created plugins to provide external computation facilities,
e.g., the
<a href="http://www.kr.tuwien.ac.at/research/systems/dlvhex/stringplugin.html">string plugin</a>
for basic string manipulation, the
<a href="http://www.kr.tuwien.ac.at/research/systems/semweblp/">description logic plugin</a>
for reasoning with ontologies, the
<a href="http://dlvhex-semweb.svn.sourceforge.net/viewvc/dlvhex-semweb">SPARQL-plugin</a>
for semantic web reasoning,
and others.
</p>
<h2 class="eyecandy">Project Ideas</h2>
<div class="container_9 clearfix eyecandy">
<div class="grid_6 alpha">
<h4>dlvhex Interactive Shell</h4>
<div class="minipush">
<p>
<span class="bold">Description:</span>
The objective is to design the command set for an interactive shell for using the dlvhex software,
and then implement the shell in python.
The shell shall provide basic functionality of managing programs and plugins,
obtaining models and querying.
Interaction could be similar as, e.g., in the python interactive shell
(by using python as a shell, the shell itself could be scriptable with python).
Reasoning and parsing task related to HEX programs
are all accomplished by the existing dlvhex C++ libraries,
but they must be wrapped and made accessible to the shell.
We envision an implementation in python using existing C++ libraries available on SourceForge
(these libraries might need to be extended for that purpose).
</p>
</div>
</div>
<div class="grid_3 omega" style="text-align:right;">
<img src="images/shelllogo_whitebg.png" alt="logo" width="200" height="115">
</div>
</div>
<div class="container_9 clearfix">
<div class="grid_9 alpha minipush">
<p>
<span class="bold">Benefit for the Student:</span>
Using and getting acquainted with Artificial Intelligence and Knowledge Representation tools.
Being part of an open source research prototype software project.
Learning about the integration of python with C++ and about interactive shell programming.
</p>
<p>
<span class="bold">Benefit for the Project:</span>
Exploring properties of HEX programs and problems with encodings
could be much easier in an interactive shell.
Approaches for debugging declarative programs
and for visualizing answers of declarative programs could be integrated into the shell.
</p>
<p>
<span class="bold">Requirements:</span>
Skills in understanding C++ code and programming python code and version management (SVN) are necessary.
Useful would be knowledge about unix shell programming, e.g., knowledge about libreadline or similar.
</p>
<p>
<span class="bold">Mentors:</span>
Thomas Krennwallner, Christoph Redl, Peter Schueller
</p>
</div>
</div>
<div class="container_9 clearfix">
<div class="grid_6 alpha">
<h4>dlvhex Server Mode</h4>
<div class="minipush">
<p>
<span class="bold">Description:</span>
The objective is to design and implement a network protocol for using the dlvhex software as a server.
This server shall allow for loading programs via network and controlling the solver on the server,
for example asking for one, some, or all valid answers to a query,
or extending the knowledge base and re-evaluating a program.
The task of parsing programs and solving them is accomplished by the existing
dlvhex C++ libraries.
We envision an implementation in python using existing C++ libraries available on SourceForge
(these libraries might need to be extended for that purpose).
</p>
</div>
</div>
<div class="grid_3 omega" style="text-align:right;">
<img src="images/serverlogo_whitebg.png" alt="logo" width="200" height="144">
</div>
</div>
<div class="container_9 clearfix">
<div class="grid_9 alpha minipush">
<p>
<span class="bold">Benefit for the Student:</span>
Using and getting acquainted with Artificial Intelligence and Knowledge Representation tools.
Being part of an open source research prototype software project.
Learning about the integration of python with C++ and about network programming.
</p>
<p>
<span class="bold">Benefit for the Project:</span>
Existing users asked for a server mode interface to dlvhex.
It would be a new interface for using dlvhex,
which enables using it from any network-capable programming language and systems.
This also opens up new use cases for this kind of declarative reasoning.
</p>
<p>
<span class="bold">Requirements:</span>
Skills in understanding C++ code and programming python code and version management (SVN) are necessary.
Useful would be knowledge about networking (client/server architecture)
and familiarity with network protocols, e.g., the FTP protocol and similar interactive protocols.
</p>
<p>
<span class="bold">Mentors:</span>
Thomas Krennwallner, Christoph Redl, Peter Schueller
</p>
</div>
</div>
<h2 class="eyecandy">Mentors</h2>
<div class="container_9 clearfix eyecandy">
<div class="grid_7 alpha">
<h4>Thomas Krennwallner</h4>
<p>
<span class="bold">Affiliation:</span><br>
<div class="minipush">
<a href="http://www.tuwien.ac.at/">TU Wien</a> »
<a href="http://www.infosys.tuwien.ac.at/184/">Institute for Information Systems</a> »
<a href="http://www.kr.tuwien.ac.at/">KBS Group</a>
</div>
</p>
<p>
<span class="bold">Interests:</span><br>
<div class="minipush">
Knowledge Representation,
Answer Set Programming,
Logic Programming,
Nonmonotonic Reasoning
</div>
</p>
<p><a href="http://www.kr.tuwien.ac.at/staff/tkren/">Homepage</a> (more details, contact information)</p>
</div>
<div class="grid_2 omega">
<img src="images/tkren.png" alt="face">
</div>
</div>
<div class="container_9 clearfix eyecandy">
<div class="grid_7 alpha">
<h4>Christoph Redl</h4>
<p>
<span class="bold">Affiliation:</span><br>
<div class="minipush">
<a href="http://www.tuwien.ac.at/">TU Wien</a> »
<a href="http://www.infosys.tuwien.ac.at/184/">Institute for Information Systems</a> »
<a href="http://www.kr.tuwien.ac.at/">KBS Group</a>
</div>
</p>
<p>
<span class="bold">Interests:</span><br>
<div class="minipush">
Knowledge Representation and Reasoning, Answer-Set Programming, (Conflict-)Clause Learning
</div>
</p>
<p><a href="http://www.kr.tuwien.ac.at/staff/redl/">Homepage</a> (more details, contact information)</p>
</div>
<div class="grid_2 omega">
<img src="images/redl.png" alt="face">
</div>
</div>
<div class="container_9 clearfix">
<div class="grid_7 alpha">
<h4>Peter Schüller</h4>
<p>
<span class="bold">Affiliation:</span><br>
<div class="minipush">
<a href="http://www.tuwien.ac.at/">TU Wien</a> »
<a href="http://www.infosys.tuwien.ac.at/184/">Institute for Information Systems</a> »
<a href="http://www.kr.tuwien.ac.at/">KBS Group</a>
</div>
</p>
<p>
<span class="bold">Interests:</span>
<div class="minipush">
Knowledge Representation and Reasoning,
Multi-Context Systems,
Linguistics
</div>
</p>
<p><a href="http://www.kr.tuwien.ac.at/staff/ps/">Homepage</a> (more details, contact information)</p>
</div>
<div class="grid_2 omega">
<img src="images/ps.png" alt="face">
</div>
</div>
<div style="border-top: 1px solid #999; background-color: inherit; color: #999; font-size: 8.5pt;">
<p>$Id$</p>
</div>
</div> <!-- grid_9 -->
<div class="grid_3">
<p>
</p>
<p>
<img src="images/logo_whitebg.png" alt="logo" id="logo" width="997" height="220">
</p>
<p>
<a href="http://www.kr.tuwien.ac.at/research/systems/semweblp/">Description Logic Plugin</a><br>
<!-- <a href="http://dlvhex-semweb.svn.sourceforge.net/viewvc/dlvhex-semweb">SPARQL-Plugin</a><br> -->
<a href="http://www.kr.tuwien.ac.at/research/systems/mcsie">MCSIE Plugin</a><br>
<a href="http://www.kr.tuwien.ac.at/research/systems/dlvhex/actionplugin.html">Action Plugin</a><br>
<a href="http://www.kr.tuwien.ac.at/research/systems/dlvhex/mergingplugin.html">MELD: Belief Merging Plugin</a><br>
<a href="http://www.kr.tuwien.ac.at/research/systems/dlvhex/stringplugin.html">String Plugin</a><br>
<a href="https://sourceforge.net/projects/dlvhex-semweb/">dlvhex-semweb: Sourceforge Project</a><br>
</p>
</div> <!-- grid_3 -->
</div> <!-- container_12 -->
</body>
</html>
<!--
Local Variables:
mode: xml
End:
-->